Федеральное государственное бюджетное учреждение науки
Институт космофизических исследований и аэрономии им. Ю.Г. Шафера
Сибирского отделения Российской академии наук
ИКФИА СО РАН

Математическая логика

Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963 (pdf)

Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 (pdf)

Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 (pdf)

Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (pdf)

Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 (pdf)

Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 (pdf)

Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (pdf)

Гейтинг А. Интуиционизм. М.: Мир, 1965 (pdf)

Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (pdf)

Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (pdf)

Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (pdf)

Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (pdf)

Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (pdf)

Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (pdf)

Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (pdf)

Зиновьев А.А. Логическая физика. М.: Наука, 1972 (pdf)

Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (pdf)

Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (pdf)

Карри Х.Б. Основания математической логики. М.: Мир, 1969 (pdf)

Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (pdf)

Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (pdf)

Клини С. Математическая логика. М.: Мир, 1973 (pdf)

Кондаков Н.И. Введение в логику. М.: Наука, 1967 (pdf)

Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (pdf)

Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (pdf)

Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (pdf)

Линдон Р. Заметки по логике. М.: Мир, 1968 (pdf)

Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (pdf)

Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (pdf)

Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (pdf)

Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (pdf)

Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (pdf)

Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (pdf)

Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (pdf)

Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (pdf)

Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (pdf)

Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (pdf)

Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (pdf)

Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (pdf)

Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (pdf)

Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (pdf)

Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (pdf)

Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (pdf)

Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (pdf)

Сикорский Р. Булевы алгебры. М.: Мир, 1969 (pdf)

Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (pdf)

Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (pdf)

Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (pdf)

Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (pdf)

Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (pdf)

Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (pdf)

Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (pdf)

Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (pdf)

Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (pdf)

Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (pdf)

Фрейденталь X. Язык логики. М.: Наука, 1969 (pdf)

Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (pdf)

Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (pdf)

Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (pdf)

Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (pdf)

Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (pdf)

Шапиро С.И. От алгоритмов — к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (pdf)

Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (pdf)

Шенфилд Дж. Математическая логика. М.: Наука, 1975 (pdf)

Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (pdf)

Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (pdf)

Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (pdf)