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