Г 47 Карри, Хаскелл Брукс (1900 - 1982). Основания математической логики [Текст] / Хаскелл Б. Карри ; пер. с англ. В. В. Донченко ; под ред. Ю. А. Гастева. - Москва : Мир, 1969. - 567, [1] с. : ил. ; 22 см. - Библиогр.: с. 518 - 547. - Указ. символов: с. 548. - Указ. терминов: с. 549 - 562. - Указ. имен: с. 563 - 567. - Пер. изд. : Foundations of mathematical logic / by Haskell B. Curry. - New York [etc.], 1963. -
Логика Держатели документа: Дом А. Ф. Лосева Доп.точки доступа: Донченко, В. В. \пер.\; Гастев, Юрий Алексеевич (1928 - 1993) \ред.\; Curry, Haskell Brooks (1900 - 1982) Экземпляры всего: 1 ЛЧЗ (1) Свободны: ЛЧЗ (1) |