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

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

• Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 1963 (djvu)
• Беркли Э. Символическая логика и разумные машины. М.: ИЛ, 1961 (djvu)
• Бочвар Д.А., Гришин В.Н. (ред.) Исследования по теории множеств и неклассическим логикам. М.: Наука, 1976 (djvu)
• Бродский И.Н. Отрицательные высказывания. Л.: ЛГУ, 1973 (djvu)
• Ван Хао, Мак-Нотон Р. Аксиоматические системы теории множеств. М.: ИЛ, 1963 (djvu)
• Владимиров Д.А. Булевы алгебры. М.: Наука, 1969 (djvu)
• Гастев Ю.А. Гомоморфизмы и модели. Логико-алгебраические аспекты моделирования. М.: Наука, 1975 (djvu)
• Гейтинг А. Интуиционизм. М.: Мир, 1965 (djvu)
• Генкин Л. О математической индукции. М.: ГИФМЛ, 1962 (djvu)
• Гильберт Д., Аккерман В. Основы теоретической логики. М.: ГИИЛ, 1947 (djvu)
• Гиндикин С.Г. Алгебра логики в задачах. М.: Наука, 1972 (djvu)
• Горский Д.П., Таванец П.В. (ред.) Логика. М.: ГИПЛ, 1956 (djvu)
• Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969 (djvu)
• Гудстейн Р.Л. Математическая логика. М.: ИЛ, 1961 (djvu)
• Ершов Ю.Л. Теория нумераций. М.: Наука, 1977 (djvu)
• Зиновьев А.А. Логическая физика. М.: Наука, 1972 (djvu)
• Идельсон А.В., Минц Г.Е. (ред.). Математическая теория логического вывода (сборник переводов). М.: Наука, 1967 (djvu)
• Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964 (djvu)
• Карри Х.Б. Основания математической логики. М.: Мир, 1969 (djvu)
• Кейслер Г.Дж., Чэн Чень-чунь. Теория непрерывных моделей. М.: Мир, 1971 (djvu)
• Клини С. Введение в метаматематику. М.: Иностр. литература, 1957 (djvu)
• Клини С. Математическая логика. М.: Мир, 1973 (djvu)
• Кондаков Н.И. Введение в логику. М.: Наука, 1967 (djvu)
• Кутасов А.Д. Элементы математической логики. М.: Просвещение, 1977 (djvu)
• Кузичев А.С. Диаграммы Венна. М.: Наука, 1968 (djvu)
• Лакатос И. Доказательства и опровержения. Как доказываются теоремы. М.: Наука, 1967 (djvu)
• Линдон Р. Заметки по логике. М.: Мир, 1968 (djvu)
• Лукасевич Я. Аристотелевская силлогистика с точки зрения современной формальной логики. М.: ИЛ, 1959 (djvu)
• Манин Ю.И. Лекции по математической логике. Часть 1. М.: МИЭМ, 1974 (djvu)
• Манин Ю.И. Лекции по математической логике. Часть 2. М.: МИЭМ, 1974 (djvu)
• Мартин-Лёф П. Очерки по конструктивной математике. М.: Мир, 1975 (djvu)
• Мельников Г.П. Азбука математической логики. М.: Знание, 1967 (djvu)
• Мендельсон Э. Введение в математическую логику. М.: Наука, 1971 (djvu)
• Мешалкин Л.Д. (ред.) Психологические измерения. М.: Мир, 1967 (djvu)
• Молодший В.Н. Очерки по вопросам обоснования математики. М.: Учпедгиз, 1958 (djvu)
• Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970 (djvu)
• Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973 (djvu)
• Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977 (djvu)
• Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968 (djvu)
• Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959 (djvu)
• Ракитов А.И. Курс лекций по логике науки. М.: Высш. шк., 1971 (djvu)
• Рассева Е., Сикорский Р. Математика метаматематики. М.: Наука, 1972 (djvu)
• Сакс Дж.Е. Теория насыщенных моделей. М.: Мир, 1976 (djvu)
• Серебрянников О.Ф. Эвристические принципы и логические исчисления. М.: Наука, 1970 (djvu)
• Сикорский Р. Булевы алгебры. М.: Мир, 1969 (djvu)
• Слупецкий Е., Борковский Л. Элементы математической логики и теория множеств. М.: Прогресс, 1965 (djvu)
• Стяжкин Н.И. Формирование математической логики М.: Наука, 1967 (djvu)
• Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965 (djvu)
• Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971 (djvu)
• Столл Р.Р. Множества. Логика. Аксиоматические теории. М.: Просвещение, 1968 (djvu)
• Таванец П.В. (ред.). Проблемы логики. М.: АН СССР, 1963 (djvu)
• Таванец П.В. (ред.) Философские вопросы современной формальной логики. М.: АН СССР, 1962 (djvu)
• Тарский А. Введение в логику и методологию дедуктивных наук. М.: ГИИЛ, 1948 (djvu)
• Робинсон А. Введение в теорию моделей и метаматематику алгебры. М.: Наука, 1967 (djvu)
• Успенский В.А. Лекции о вычислимых функциях. М.: ГИФМЛ, 1960 (djvu)
• Фрейденталь X. Язык логики. М.: Наука, 1969 (djvu)
• Френкель А.А., Бар-Хиллел И. Основания теории множеств. М.: Мир, 1966 (djvu)
• Харин Н.Н. Математическая логика и теория множеств. М.: Росвузиздат, 1963 (djvu)
• Чёрч А. Введение в математическую логику. Т.1. М.: ИЛ, 1960 (djvu)
• Чупахин И.Я., Бродский И.Н. (ред.). Формальная логика. Л.: ЛГУ, 1977 (djvu)
• Шанин Н.А. О некоторых логических проблемах арифметики (Труды МИАН т.43). М.: АН СССР, 1955 (djvu)
• Шапиро С.И. От алгоритмов - к суждениям. Эксперименты по обучению элементам математического мышления. М.: Сов. радио, 1973 (djvu)
• Шенфилд Дж. Степени неразрешимости. М.: Наука, 1977 (djvu)
• Шенфилд Дж. Математическая логика. М.: Наука, 1975 (djvu)
• Шрейдер Ю.А. Равенство, сходство, порядок. М.: Наука, 1971 (djvu)
• Эдельман С.Л. Математическая логика. М.: Высш. шк., 1975 (djvu)
• Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б. Функции алгебры логики и классы Поста. М.: Наука, 1966 (pdf)