Подробное описание документа
Клини С. К.
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.:
Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики. Настоящая книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал.
Книга может быть использована как учебное пособие по курсу математи- ческой логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам; может привлечь также внимание всех занимающихся или интересующихся математической логикой.
510.6 Математическая логика3 экз.![]()
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.313, ГУК, ауд. 313
Похожие издания
Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гастев Ю. А. - 3-е изд., стер. - М. : КомКнига, 2007. - 480 с. - Библиогр.:
Математическая логика. - М. : Мир, 1973. -