|
Литература
|
Мостовский А.: Конструктивные множества и их приложения. - М.: Мир, 1973
|
|
Литература
|
Новиков П.С.: Элементы математической логики. - М.: НАУКА, 1973
|
|
Литература
|
АН СССР ; Под. ред.: Д.А. Бочвара, Ю.А. Шрейдера: Исследования по математической лингвистике, математической логике и информационным языкам. - М.: Наука, 1972
|
|
Литература
|
Градштейн И.С.: Прямая и обратная теоремы. - М.: Наука, 1972
|
|
Литература
|
Расева Е.: Математика метаматематики. - М.: Наука, 1972
|
|
Литература
|
Мендельсон Э.: Введение в математическую логику. - М.: Наука, 1971
|
|
Литература
|
АН СССР, Институт истории естествознания и техники, АН УССР, сектор истории естествознания и техники ин-та истории ; отв. ред. И.З. Штокало: История отечественной математики. - Киев: Наукова Думка, 1970
|
|
Литература
|
Гудстейн Р.Л.: Рекурсивный математический анализ. - М.: Наука, 1970
|
|
Литература
|
Лакатос И.: Доказательства и опровержения. - М.: Наука, 1967
|
|
Литература
|
Столяр А.А.: Логические проблемы преподавания математики. - Минск: Высшая школа, 1965
|
|
Литература
|
Столяр А.А.: Элементарное введение в математическую логику. - М.: Просвещение, 1965
|
|
Литература
|
Калужнин Л.А.: Что такое математическая логика?. - М.: Наука, 1964
|
|
Литература
|
Кемени Дж.: Введение в конечную математику. - М.: Иностранная литература, 1963
|
|
Литература
|
Чупахин И.Я.: Вопросы теории понятия. - Л.: ЛГУ, 1961
|
|
Литература
|
Чёрч А.: Введение в математическую логику. - М.: Иностранная литература, 1960
|
|
Литература
|
Градштейн И.С.: Прямая и обратная теоремы. - М.: Физматгиз, 1959
|
|
Литература
|
под ред.: А.Г. Куроша и др.: Математика в СССР за сорок лет (1917-1957). - М.: Физматгиз, 1959
|