Математическая логика С. К. Клини ; перевод с английского Ю. А. Гастева ; под редакцией Г. Е. Минца
Сохранить в:
| Автор: | |
|---|---|
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Мир 1973
|
| Ключевые слова: |
| LEADER | 01340nam0a2200289 i 4500 | ||
|---|---|---|---|
| 001 | A3D1ECC1-E245-4E0C-AC01-2D420A666486 | ||
| 100 | |a 20190430d1973 k y0rusy02 ca | ||
| 101 | 1 | |a rus |c eng | |
| 102 | |a RU | ||
| 105 | |a y zz 000#y | ||
| 200 | 1 | |a Математическая логика |f С. К. Клини ; перевод с английского Ю. А. Гастева ; под редакцией Г. Е. Минца | |
| 210 | |a Москва |c Мир |d 1973 | ||
| 215 | |a 480с. |d 22 см | ||
| 300 | |a Содержание отражено частично | ||
| 320 | |a Библиография: с. 451-465. - Авторский и предметный указатели: с. 470-478 | ||
| 327 | 1 | |a Содержание: Нормализация доказательств/ Г. Е. Минц; Функциональная форма. Теорема Эмбрана для непредваренных формул/ Г. Е. Минц | |
| 454 | 0 | |1 7001 |a Kleene Stephen Cole |1 2001 |a Mathematical logic | |
| 606 | |a Математическая логика | ||
| 686 | |a 22 |2 rubbk | ||
| 686 | |a 27 |2 rugasnti | ||
| 700 | 1 | |a Клини |b С. К. |g Стефан Коул | |
| 702 | 1 | |a Гастев |b Ю. А. |4 730 | |
| 702 | 1 | |a Минц |b Г. Е. |4 340 | |
| 801 | 0 | |b ГПНТБ России |a RU |c 20190430 | |