Математическая логика [Стефен К. Клини] (djvu)


Стефен К. Клини  
(перевод: Ю. А. Гастев)

Математика  

 Математическая логика  6.09 Мб
скачать: (djvu) - (djvu+fbd)  читать: (полностью) - (постранично)
издано в 1973 г. (post) (иллюстрации)

Математическая логика (djvu)Добавлена: 23.01.2023 Версия: 1.015.
УДК: 517.11.51712
Издательство: Мир
Город: Москва
Поделиться:
  (ссылка для форума)     (ссылка для блога)     (QR-код книги)  

Аннотация

Имя одного из крупнейших современных специалистов в области математической логики С. К. Клинк знакомо советскому читателю по русскому переводу его фундаментального труда ^Введение в метаматематику» (ИЛ, 1957), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Новая его книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый, материал.
Книга может быть использована, как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам. Она привлечет также внимание всех занимающихся или интересующихся математической логикой.


Рекомендации:

эту книгу рекомендовали 0 пользователей.
Прежде чем рекомендовать книгу, хорошо подумайте. Рекомендация - это высшая оценка, которую вы можете выставить книге. 10 по 5-балльной шкале.