|
В данном списке отображены только первые 30 книг.
Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!
|
В данном списке отображены только первые 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
Автор: Simpson S.G.
Год: 2000
Издание: [не указано]
|
Mathematical logic
Автор: Ebbinghaus H.-D., Flum J., Thomas W.
Год: 1984
Издание: [не указано]
|
|
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 книг.
Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!
|
В данном списке отображены только первые 30 книг.
Воспользуйтесь алфавитным фильтром для поиска нужной вам книги!
|
