A477479-ОХФ, A507130-ОХФ, A507626-ОХФ, A507630-ОХФ, A873322-ОХФ Гильберт, Давид Основания математики [Текст] : [в 2 т.] / Д. Гильберт, П. Бернайс. - Москва : Наука. Гл. ред. физ.-мат. лит. - (Математическая логика и основания математики). [Т. 1] : Логические исчисления и формализация арифметики. - Москва : Наука. Гл. ред. физ.-мат. лит., 1979. - 557, [3] с. - ISBN [Б. и.] (в пер.) : 35.00 р.
Рубрики: математика--математическая логика Кл.слова (ненормированные): математическая логика -- исчисления высказываний -- рекурсии Доп. точки доступа: Бернайс, Пауль Экземпляры всего: 5 ОХФ (5) |