Лекция Верещагина Н.К "Языки и исчесления", читаемые не только в МГУ, но и во многих других ВУЗах страны. Эти лекции подойдут тем, кто изучает математическую логику или интересуется данным предметом.