- 2 402 202 книги
#1
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
A. S. Troelstra (Editor)Категория: Математика, Прикладная математика
21.39 Mb
#2
Intuitionistic Logic, Model Theory and Forcing (Studies in Logic and the Foundations of Mathematics)
Melvin FittingКатегория: Образование
5.92 Mb
#3
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer: Volume 2: Hope and Disillusion
Dirk van Dalen
12.83 Mb
#4
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Grigori MintsКатегория: Математика
2.52 Mb
#5
Mystic, geometer, and intuitionist: The life of L.E.J. Brouwer. Vol.2: Hope and disillusion
van Dalen D.Категория: M_Mathematics, MPop_Popular-level
12.46 Mb
#6
Treatise on Intuitionistic Type Theory (LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE 22)
Johan Georg Granstrom
1.51 Mb
#7
The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)
Stephen Cole Kleene, Richard Eugène Vesley
9.79 Mb
#8
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Per Martin-Löf
645 Kb
#9
A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)
Grigori Mints
2.52 Mb
#10
Intuitionistic Type Theory: Notes by Giovanni Sambin of a Series of Lectures Given in Padua, June 1980 (Studies in Proof Theory)
Per Martin-Lof
2.35 Mb
#11
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
Lincoln A. Wallen
1.69 Mb
#15
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Makkai M.
581 Kb
#16
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Makkai M.
308 Kb
#18
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis
Troelstra A.S.
22.34 Mb
#19
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Stephen Cole Kleene, R.E. VesleyКатегория: Mathematical logic
1.59 Mb
#20
Intuitionistic logic, model theory and forcing
Melvin FittingКатегория: Mathematical logic
927 Kb
#23
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Anne S. TroelstraКатегория: Lecture notes
2.77 Mb
#29
Interpolation and Definability: Modal and Intuitionistic Logic: Modal and Intuitionistic Logics
Dov M. Gabbay, Larisa Maksimova
6.59 Mb
#30
Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 2 (Notre Dame J.Formal Logic 34, p471, 1993)(600dpi)(T)(28s)_MAml_.djvu
308 Kb
#31
Makkai M. Fibrational formulation of intuitionistic predicate logic 1, part 1 (Notre Dame J.Formal Logic 34, p334, 1993)(600dpi)(T)(44s)_MAml_.djvu
581 Kb
#32
Elements of Intuitionism
Michael DummettКатегория: logic, proof theory, first order logic, intuitionistic, intuitionism, constructive reasoning, constructive demostration
3.77 Mb