Список источников > Математика > Алгебра >
Математическая логика
|
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
|
|
 |
|
 |
