- 2 402 202 книги
- Поиск
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis (Lecture Notes in Mathematics, 344)
Автор: A. S. Troelstra (Editor)Категория: Математика, Прикладная математика
Размер книги: 21.39 Mb
Intuitionistic Logic, Model Theory and Forcing (Studies in Logic and the Foundations of Mathematics)
Автор: Melvin FittingКатегория: Образование
Размер книги: 5.92 Mb
Mystic, Geometer, and Intuitionist: The Life of L. E. J. Brouwer: Volume 2: Hope and Disillusion
Автор: Dirk van Dalen
Размер книги: 12.83 Mb
A Short Introduction to Intuitionistic Logic (University Series in Mathematics)
Автор: Grigori MintsКатегория: Математика
Размер книги: 2.52 Mb
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
Treatise on Intuitionistic Type Theory (LOGIC, EPISTEMOLOGY, AND THE UNITY OF SCIENCE 22)
Автор: Johan Georg Granstrom
Размер книги: 1.51 Mb
The Foundations of Intuitionistic Mathematics (Studies in Logic and the Foundations of Mathematics, 39)
Автор: Stephen Cole Kleene, Автор: Richard Eugène Vesley
Размер книги: 9.79 Mb
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
A Short Introduction to Intuitionistic Logic (The University Series in Mathematics)
Автор: Grigori Mints
Размер книги: 2.52 Mb
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
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics (Artificial Intelligence)
Автор: Lincoln A. Wallen
Размер книги: 1.69 Mb
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Автор: Makkai M.
Размер книги: 581 Kb
Fibrational formulation of intuitionistic predicate logic I: completeness according to Godel, Kripke, and Lauchli
Автор: Makkai M.
Размер книги: 308 Kb
Metamathematical Investigation Of Intuitionistic Arithmetic And Analysis
Автор: Troelstra A.S.
Размер книги: 22.34 Mb
The Foundations of Intuitionistic Mathematics: Especially In Relation to Recursive Functions
Автор: Stephen Cole Kleene, Автор: R.E. VesleyКатегория: Mathematical logic
Размер книги: 1.59 Mb
Intuitionistic logic, model theory and forcing
Автор: Melvin FittingКатегория: Mathematical logic
Размер книги: 927 Kb
An intuitionistic type theory
Автор: Per Martin-LofКатегория: Mathematical logic
Размер книги: 473 Kb
Proof Theory and Intuitionistic Systems
Автор: Bruno ScarpelliniКатегория: Lecture notes
Размер книги: 2.08 Mb
Metamathematical Investigation of Intuitionistic Arithmetic and Analysis
Автор: Anne S. TroelstraКатегория: Lecture notes
Размер книги: 2.77 Mb
Interpolation and Definability: Modal and Intuitionistic Logic: Modal and Intuitionistic Logics
Автор: Dov M. Gabbay, Автор: Larisa Maksimova
Размер книги: 6.59 Mb
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
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
Elements of Intuitionism
Автор: Michael DummettКатегория: logic, proof theory, first order logic, intuitionistic, intuitionism, constructive reasoning, constructive demostration
Размер книги: 3.77 Mb