|
|
|
|
| LEADER |
00000nam0a2200000 4500 |
| 001 |
81254 |
| 005 |
20231031095105.0 |
| 010 |
|
|
|b 500 экз.
|a 535401011X
|
| 021 |
|
|
|a RU
|b 05-47292
|9 05-2313
|
| 035 |
|
|
|a (RuTPU)RU\TPU\book\87354
|
| 090 |
|
|
|a 81254
|
| 100 |
|
|
|a 20050919d2005 km y0rusy5002 ca
|
| 101 |
1 |
|
|a rus
|c eng
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y z 001zy
|
| 200 |
1 |
|
|a Математическая логика
|e пер. с англ.
|f С. К. Клини
|g под ред. Г. Е. Минца; пер. Ю. А. Гастев
|
| 205 |
|
|
|a Изд. 2-е, стер.
|
| 210 |
|
|
|a Москва
|c Едиториал УРСС
|d 2005
|
| 215 |
|
|
|a 480 с.
|d 22 см.
|
| 320 |
|
|
|a Авторский и предметный указатель: с. 470-478
|
| 320 |
|
|
|a Библиогр.: с. 451-465
|
| 330 |
|
|
|a Имя одного из крупнейших специалистов в области математической логики С. К. Клини знакомо читателю по русскому переводу его фундаментального труда «Введение в метаматематику» (Изд. 2. М.: УРСС, 2005), ставшего настольной книгой для всех, кто занимается математической логикой, рекурсивными функциями и основаниями математики, Настоящая книга представляет собой существенно усовершенствованный, расширенный и приближенный к нуждам университетского преподавания вариант «чисто логической» части этой всемирно известной монографии. Тщательно продуманные иллюстративные упражнения помогают читателю усвоить излагаемый материал. Книга может быть использована как учебное пособие по курсу математической логики в университетах и пединститутах; таким образом, она адресована прежде всего преподавателям, аспирантам и студентам; может привлечь также внимание всех занимающихся или интересующихся математической логикой.
|
| 451 |
|
1 |
|0 (RuTPU)RU\TPU\book\37178
|t Математическая логика
|o пер. с англ.
|f С. К. Клини
|c М.
|n Мир
|d 1973
|p 480 с.
|a Клини, Стефан Коул
|
| 610 |
1 |
|
|a математическая логика
|
| 610 |
1 |
|
|a исчисление
|
| 610 |
1 |
|
|a высказывания
|
| 610 |
1 |
|
|a предикаты
|
| 610 |
1 |
|
|a предикаты с равенством
|
| 610 |
1 |
|
|a вычислимость
|
| 610 |
1 |
|
|a разрешимость
|
| 610 |
1 |
|
|a модели
|
| 610 |
1 |
|
|a теория
|
| 610 |
1 |
|
|a доказательства
|
| 610 |
1 |
|
|a равенство
|
| 610 |
1 |
|
|a счетные множества
|
| 610 |
1 |
|
|a абстрактные множества
|
| 610 |
1 |
|
|a парадоксы
|
| 610 |
1 |
|
|a аксиоматическая математика
|
| 610 |
1 |
|
|a интуитивная математика
|
| 610 |
1 |
|
|a формальная арифметика
|
| 610 |
1 |
|
|a машина Тьюринга
|
| 610 |
1 |
|
|a тезис Черча
|
| 610 |
1 |
|
|a теорема Черча
|
| 610 |
1 |
|
|a теорема Геделя
|
| 610 |
1 |
|
|a теорема Генцена
|
| 610 |
1 |
|
|a парадокс Скулема
|
| 610 |
1 |
|
|a теорема Эрбрана
|
| 610 |
1 |
|
|a теорема Крейга
|
| 610 |
1 |
|
|a теорема Бета
|
| 610 |
1 |
|
|a теорема Робинсона
|
| 675 |
|
|
|a 510.6
|v 3
|z rus
|
| 700 |
|
1 |
|a Клини
|b С. К.
|g Стивен Коул
|
| 702 |
|
1 |
|a Минц
|b Г. Е.
|4 340
|
| 702 |
|
1 |
|a Гастев
|b Ю. А.
|4 730
|
| 801 |
|
0 |
|a RU
|b RKP
|c 20050822
|g PSBO
|
| 801 |
|
1 |
|a RU
|b 63413507
|c 20050919
|g PSBO
|
| 801 |
|
2 |
|a RU
|b 63413507
|c 20131028
|g PSBO
|
| 900 |
|
|
|a Математические основы теории систем
|
| 942 |
|
|
|c BK
|
