|
Литература
|
Колмогоров А.Н.: Введение в математическую логику. - М.: МГУ, 1982
|
|
Литература
|
пер. с англ. В.Г. Кановея под ред. В.Н. Гришина: Справочная книга по математической логике. - М.: Наука, 1982
|
|
Литература
|
пер. с англ. С.Г. Дворникова и И.А. Лаврова под ред. Ю.Л. Ершова: Справочная книга по математической логике. - М.: Наука, 1982
|
|
Литература
|
пер. с англ.: С.С. Гончарова, В.Д. Дзгоева и др. под ред. Ю.Л. Ершова: Справочная книга по математической логике. - М.: Наука, 1982
|
|
Литература
|
Косовский Н.К: Элементы математической логики и ее приложения к теории субрекурсивных алгоритмов. - Л.: Изд-во ЛГУ, 1981
|
|
Литература
|
Никольская И.Л.: Математическая логика. - М.: Высшая школа, 1981
|
|
Литература
|
Гильберт Д.: Основания математики. - М.: Наука, 1979
|
|
Литература
|
Драгалин А.Г.: Математический интуиционизм. - М.: Наука, 1979
|
|
Литература
|
Бизам Д.: Многоцветная логика. - М.: Мир, 1978
|
|
Литература
|
Глоговский В.В.: Начертательная геометрия на алгоритмической основе. - Львов: Вища школа, 1978
|
|
Литература
|
Ин-т истории естествознания и техники АН СССР ; И.Г. Башмакова и др. ; под ред.: А.Н. Колмогорова, А.П. Юшкевича: Математика XIX века. - М.: Наука, 1978
|
|
Литература
|
Калужнин Л.А.: Элементы теории множеств и математической логики в школьном курсе математики. - М.: Просвещение, 1978
|
|
Литература
|
Отв. ред. Б.С. Жанбырбаев: Совершенствование методики преподавания современных основ школьной математики. - Алма-Ата: Казахский педагогический институт, 1978
|
|
Литература
|
Гаврилов Г.П.: Сборник задач по дискретной математике. - М.: Наука, 1977
|
|
Литература
|
Ершов А.П.: Введение в теоретическое программирование (беседы о методе). - М.: Наука, 1977
|
|
Литература
|
Кутасов А.Д.: Элементы математической логики. - М.: Просвещение, 1977
|
|
Литература
|
Новиков П.С.: Конструктивная математическая логика с точки зрения классической. - М.: Наука, 1977
|
|
Литература
|
Мальцев А.И.: Избранные труды. - М.: Наука, 1976
|
|
Литература
|
Мендельсон Э.: Введение в математическую логику. - М.: Наука, 1976
|
|
Литература
|
Отв. ред. Е.А. Щегольков: Актуальные вопросы математической логики и теории множеств. - М.: Московский государственный педагогический институт, 1975
|
|
Литература
|
Столяр А.А.: Математика. - Минск: Вышэйшая школа, 1975
|
|
Литература
|
Шенфилд Дж.: Математическая логика. - М.: Наука, 1975
|
|
Литература
|
: Теоретические основы начального курса математики. - М.: Просвещение, 1974
|
|
Литература
|
АН СССР ; Институт философии ; Отв. ред.: П.В. Таванец, В.А. Смирнов: Философия в современном мире. - М.: Наука, 1974
|
|
Литература
|
АН СССР, Государственный комитет Совета Министров СССР по науке и технике, Всесоюзный ин-т научной и технической информации ; Отв. ред. Д.А. Бочвар: Исследования по формализованным языкам и неклассическим логикам. - М.: Наука, 1974
|
|
Литература
|
Варпаховский Ф.Л.: Алгебра. - М.: Просвещение, 1974
|
|
Литература
|
Фейс Р.: Модальная логика. - М.: Наука, 1974
|
|
Литература
|
АН СССР ; под ред. С.И. Адяна: Труды математического института им. В.А. Стеклова. - М.: Наука, 1973
|
|
Литература
|
Градштейн И.С.: Прямая и обратная теоремы. - М.: Наука, 1973
|
|
Литература
|
Клини С.К.: Математическая логика. - М.: Мир, 1973
|