Имя одного из крупнейших специалистов в области математической логики С. Клини знакомо читателю по русскому переводу его фундаментального труда "Введение в метаматематику" (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга является существенно усовершенствованным, расширенным и приближенным к нуждам университетского преподавания вариантом "чисто логической" части этой монографии. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах. |
О проекте
