Основания математической логики Б. Карри
Сохранить в:
| Автор: | |
|---|---|
| Тип документа: | Книга |
| Язык: | Russian English |
| Год издания: |
Москва Мир 1969
|
| Ключевые слова: |
| LEADER | 01080nam0a2200265 i 4500 | ||
|---|---|---|---|
| 001 | 5F67FC1B-DFE7-4BEA-84A0-F33FD2151C05 | ||
| 100 | |a 20181203d1969 k y0rusy50 | ||
| 101 | 1 | |a rus |c eng | |
| 102 | |a RU | ||
| 105 | |a a z 000#y | ||
| 200 | 1 | |a Основания математической логики |f Б. Карри |g перевод с английского В. В. Донченко ; под редакцией Ю. А. Гастева | |
| 210 | |a Москва |c Мир |d 1969 | ||
| 215 | |a 568с. |c черт. |d 22 см | ||
| 320 | |a Библиография: с. 518-547. - Указатели символов, терминов и именной: с. 548-567 | ||
| 454 | 0 | |1 7001 |a Curry, Haskell B. |1 2001 |a Foundations of mathematical logic | |
| 606 | |a Математическая логика | ||
| 686 | |a 87 |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 20181203 | |