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

Список источников > Математика > Алгебра > Математическая логика
ABCDEFGHIJKLMNOPQRSTUVWXYZ
АБВГДЕЖЗИКЛМНОПРСТУФХЦЧШЩЭЮЯ0-9

В данном списке отображены только первые 30 книг. Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!

A Problem Course in Mathematical Logic (vol. 2)

Автор: Bilaniuk S.
Год: 1997
Издание: [не указано]

Basic logic

Автор: McCall R.J.
Год: 1952
Издание: [не указано]

Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli (part 1)

Автор: Makkai M.
Год: 1993
Издание: [не указано]

Language, Proof and Logic

Автор: Barwise J., Etchemendy J.
Год: 1999
Издание: [не указано]

Mathematical logic

Автор: Ebbinghaus H.-D., Flum J., Thomas W.
Год: 1984
Издание: [не указано]

Mathematical Logic

Автор: Simpson S.G.
Год: 2000
Издание: [не указано]

Mathematical Logic and the Foundation of Mathematics

Автор: Kneebone G.T.
Год: 1963
Издание: [не указано]

Mathematical Logic with Special Reference to the Natural Numbers

Автор: Steen S.W.P.
Год: 1972
Издание: [не указано]

Modal logic

Автор: Chagrov A., Zakharyaschev M.
Год: 1997
Издание: [не указано]

New foundations for logic

Автор: Popper K.
Год: 1947
Издание: [не указано]

Proofs and Types

Автор: Girard J.-Y., Taylor P., Lafont Y.
Год: 1989
Издание: [не указано]

The psychology of proof: deductive reasoning in human thinking

Автор: Rips J.L.
Год: 1994
Издание: [не указано]

Undecidable theories

Автор: Tarski A.
Год: 1971
Издание: [не указано]

Азбука математической логики

Автор: Мельников Г.П.
Год: 1967
Издание: [не указано]

Аксиома выбора и аксиома детерминированности

Автор: Кановей В.Г.
Год: 1984
Издание: [не указано]

Алгебра логики в задачах

Автор: Гиндикин С.Г.
Год: 1972
Издание: [не указано]

Введение в математическую логику

Автор: Попов А.И.
Год: 1959
Издание: [не указано]

Введение в логику и методологию дедуктивных наук

Автор: Тарский А.
Год: 1948
Издание: [не указано]

Введение в математическую логику

Автор: Мендельсон Э.
Год: 1971
Издание: [не указано]

Введение в математическую логику

Автор: Колмогоров А.Н., Драгалин А.Г.
Год: 1982
Издание: [не указано]

Введение в метаматематику

Автор: Клини С.К.
Год: 1957
Издание: [не указано]

Введение в теорию моделей и мета-математику алгебры

Автор: Робинсон А.
Год: 1967
Издание: [не указано]

Доказательства и опровержения

Автор: Лакатос И.
Год: 1967
Издание: [не указано]

Доказуемое и недоказуемое

Автор: Манин Ю.И.
Год: 1979
Издание: [не указано]

Замкнутые классы булевых функций

Автор: Марченков С.С.
Год: 2000
Издание: [не указано]

Избранные вопросы теории булевых функций

Автор: Винокуров С.Ф.
Год: 2001
Издание: [не указано]

Интуиционизм

Автор: Гейтинг А.
Год: 1965
Издание: [не указано]

Исследования по теории доказательств

Автор: Крайзель Г.
Год: 1981
Издание: [не указано]

Конструктивная математическая логика с точки зрения классической

Автор: Новиков П.С.
Год: 1977
Издание: [не указано]

Курс лекций по логике науки

Автор: Ракитов А.И.
Год: 1971
Издание: [не указано]

В данном списке отображены только первые 30 книг. Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!

ABCDEFGHIJKLMNOPQRSTUVWXYZ
АБВГДЕЖЗИКЛМНОПРСТУФХЦЧШЩЭЮЯ0-9