Поиск ведется по:
Общее количество найденных документов : 1
1. 51
Ч-508
Чёрч, Алонзо.
Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники
Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие
Ч-508
Чёрч, Алонзо.
Введение в математическую логику [Text] : [Учеб. для вузов] / А. Чёрч ; Пер. с англ. В.С. Чернявского; Под ред. В.А. Успенского. - москва : Изд-во иностранной литературы, 1960. - 484 с. - 6.99 р.
ГРНТИ 27.03.19
УДК:510.6(075.8)
Ключевые слова: математическая логика -- пропозициональные исчисления -- функциональные исчисления -- учебники
Доп.точки доступа: Успенский, В.А. \ред. - редактор.\ ---
Экземпляры всего: 1
Mесто хранения: кх (1)
Свободны: кх (1)
Найти похожие