Подробное описание документа

Клини С. К.
   Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гастев Ю. А. - 3-е изд., стер. - М. : КомКнига, 2007. - 480 с. - Библиогр.: с. 451-465. - ISBN 978-5-484-00802-5.

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

УДК

510.6 Математическая логика

Предметные рубрики

• Математическая логика - Учебники и пособия

Общее кол-во в фондах

2 экз.

Заказать на абонемент

Заказать в читальный зал

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Преподавательский абонемент ауд.313, ГУК, ауд. 313
3. Читальный зал ауд.305л, УЛК, ауд. 305л
4. Читальный зал ауд.313, ГУК, ауд. 313

Похожие издания

Клини С. К.
   Математическая логика : пер. с англ. / Клини С. К. ; ред. пер. Минц Г. Е. ; пер. Гостев Ю. А. - 2-е изд., стер. - М. : Эдиториал УРСС, 2005. - 480 с. - Библиогр.: с. 451-465. - ISBN 5-354-01011-X.

Кол-во в фондах 3 экз.

подробнее

Клини С. К.
   Математическая логика. - М. : Мир, 1973. - 478 с.

Кол-во в фондах 1 экз.

подробнее