Книга
Тип экземпляра:
Книга
Папки, в которых отображается этот экземпляр:
2026.04.10
Основания математической логики / Х. Карри ; [пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева]
Язык: Русский Исходный язык: Английский Выходные данные: Москва: Мир, 1969Физическая характеристика: 567 сУДК:510.6| Тип экземпляра | Текущая библиотека | Шифр хранения | Статус | Срок возврата | Штрих-код |
|---|---|---|---|---|---|
| Книга | Институт прикладной математики им. М.В. Келдыша Миусская | 510.6 / К 26 | Доступно |
Пер. изд.: Fondations of mathematical logic / by Haskell B. Curry. New York [etc.] : McGraw-Hill, 1963
Библиогр. в подстроч. примеч. и с. 518-547
Указ. символов, терминов, имен.: с. 548-547