Log in

Математична логіка

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

Залиште свій коментар

Post comment as a guest

0
«
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 7
  • 8
  • 9
  • 10
  • 11
  • 12
  • 13
  • 14
  • 15
  • 16
  • 17
  • 18
  • 19
  • 20
»

Наші контакти


Ідея, веб-дизайн і т.д.:

Олег Романів
oromaniv at franko.lviv.ua