Г29 Гейтинг, А. Обзор исследований по основаниям математики. Пнтупционизм - теория доказательства [Текст] / Пер. с нем. А.П. Юшкевича. - М. ; Л. : Онти НКТП СССР, 1936. - 96 с. - 1.50 р.
Кл.слова (ненормированные): Математика -- теория доказательств -- основания математики Экземпляры всего: 2 2к (2) Свободны: 2к (2) |
Г29 Гейтинг, А. Интуиционизм: Введение [Текст] / А. Гейтинг; Пер. с англ. В.А. Янкова; Под ред. и с коммент. А.А. Маркова. - М. : Мир, 1965. - 200 с. - (Библиотека сборника "Математика"). - 0.66 р.
Кл.слова (ненормированные): Математика -- интуиционизм (фил.) -- философские проблемы -- арифметика -- потоки -- алгебра -- линейные уравнения -- линейная зависимость -- плоские точечные виды -- меры -- интегрирование -- интегралы -- логика -- исчисление предикатов Доп.точки доступа: Янков, В.А. \пер.\ Экземпляры всего: 2 2к (2) Свободны: 2к (2) |