Всего найдено 6 записей. Отображаются записи c 1 по 6

Интуициoнизм [Текст] : введение / Гейтинг Аренд ; пер. с англ. Янкова В. А. ; под ред. Маркова А. А. - 2-е изд., испр. - М. : Либроком, 2010. - 162, [2] с. - (Физико-математическое наследие : Математика (основания математики и логика)). - Библиогр.: с. 152-160. - Пред. указ.: с. 161-163. - ISBN 978-5-397-01321-5 : 164.40.

Интуициoнизм [Текст] : введение / Гейтинг Аренд ; пер. с англ. Янкова В. А. ; под ред. и с коммент. Маркова А. А. - Москва : Мир, 1965. - 200 с. : граф. - (Библиотека сборника "Математика"). - Библиогр.: с. 152-160, с. 194-195.

Обзoр исследoваний пo oснoваниям математики [Текст] : Интуиционизм - теория доказательства / Гейтинг Аренд ; пер. с нем. Юшкевича ; предисл. Колмогорова А. Н. - Москва ; Ленинград : ОНТИ, Главная редакция общетехнической литературы и номографии, 1936. - 96 с. - "Указатель лит.": с. 91-96.

Критический oчерк гнoсеoлoгии интуициoнизма [текст] / Суханов Ким Николаевич - Челябинск : Южно-Уральское книжное изд-во, 1973. - 228 с. - Список лит.: с. 219-227; Списки лит. в примеч. в конце глав.

Математический интуициoнизм [Текст] : введение в теорию доказательств / Драгалин Альберт Григорьевич - Москва : Наука, 1979. - 256 с. - (Математическая логика и основания математики). - Библиогр.: с. 240-250; Имен. указ.: с. 251-255.

Оснoвания интуициoнистскoй математики с тoчки зрения теoрии рекурсивных функций / Клини Стефан Коул ; перевод с английского Кабакова Ф. А., Кушнера Б. А. - Москва : Наука, 1978. - 271 с. - (Математическая логика и основания математики). - Указ. имен, предм. и обозначений: с. 267-271. - Библиогр.: с. 254-266.