Учебно-образовательная физико-математическая библиотека

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

• Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963 (djvu, 5.45 M)
• Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 (djvu, 1.98 M)
• Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 (djvu, 5.40 M)
• Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (djvu, 1.35 M)
• Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 (djvu, 446 K)
• Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 (djvu, 3.21 M)
• Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (djvu, 1.77 M)
• Гейтинг А. Интуиционизм. М.: Мир, 1965 (djvu, 1.49 M)
• Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (djvu, 716 K)
• Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (djvu, 3.65 M)
• Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (djvu, 3.84 M)
• Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (djvu, 2.91 M)
• Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (djvu, 818 K)
• Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (djvu, 3.68 M)
• Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (djvu, 3.39 M)
• Зиновьев А.А. Логическая физика. М.: Наука, 1972 (djvu, 1.60 M)
• Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (djvu, 3.34 M)
• Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (djvu, 1.32 M)
• Карри Х.Б. Основания математической логики. М.: Мир, 1969 (djvu, 6.03 M)
• Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (djvu, 1.83 M)
• Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (djvu, 9.32 M)
• Клини С. Математическая логика. М.: Мир, 1973 (djvu, 6.09 M)
• Кондаков Н.И. Введение в логику. М.: Наука, 1967 (djvu, 6.80 M)
• Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (djvu, 4.05 M)
• Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (djvu, 828 K)
• Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (djvu, 1.81 M)
• Линдон Р. Заметки по логике. М.: Мир, 1968 (djvu, 1.25 M)
• Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (djvu, 6.28 M)
• Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (djvu, 1.55 M)
• Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (djvu, 894 K)
• Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (djvu, 1.24 M)
• Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (djvu, 1.79 M)
• Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (djvu, 3.59 M)
• Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (djvu, 2.34 M)
• Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (djvu, 2.66 M)
• Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (djvu, 1.19 M)
• Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (djvu, 4.96 M)
• Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (djvu, 7.71 M)
• Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (djvu, 1.51 M)
• Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (djvu, 1.33 M)
• Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (djvu, 1.37 M)
• Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (djvu, 6.79 M)
• Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (djvu, 3.04 M)
• Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (djvu, 2.20 M)
• Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (djvu, 2.20 M)
• Сикорский Р. Булевы алгебры. М.: Мир, 1969 (djvu, 5.70 M)
• Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (djvu, 2.33 M)
• Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (djvu, 4.22 M)
• Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (djvu, 2.63 M)
• Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (djvu, 1.46 M)
• Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (djvu, 5.69 M)
• Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (djvu, 5.56 M)
• Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (djvu, 1.24 M)
• Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (djvu, 6.83 M)
• Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (djvu, 5.44 M)
• Фрейденталь Х. Язык логики. М.: Наука, 1969 (djvu, 1 023 K)
• Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (djvu, 8.85 M)
• Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (djvu, 2.38 M)
• Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (djvu, 5.29 M)
• Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (djvu, 3.77 M)
• Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (djvu, 1.84 M)
• Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (djvu, 2.85 M)
• Шенфилд Дж. Математическая логика. М.: Наука, 1975 (djvu, 4.99 M)
• Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (djvu, 2.46 M)
• Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (djvu, 2.71 M)
• Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (djvu, 1.48 M)
• Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (pdf, 3.03 M)