EqWorld logo

EqWorld

МИР МАТЕМАТИЧЕСКИХ УРАВНЕНИЙ

IPM Logo

Начальная стр. Точные решения Методы Образование Об этом сайте Библиотека Мат. форумы

Библиотека > Книги по математике > Математическая логика

Поиск в библиотеке по авторам и ключевым словам из названия книги:
 

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

  • Айзерман М.А., Гусев Л.А., Розоноэр Л.И., Смирнова И.М., Таль А.А. Логика, автоматы, алгоритмы. М.: ГИФМЛ, 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)


Веб-сайт EqWorld содержит обширную информацию о решениях различных классов обыкновенных дифференциальных уравнений, дифференциальных уравнений с частными производными (уравнений математической физики), интегральных уравнений, функциональных уравнений и других математических уравнений.

© 2004-2014 А. Д. Полянин