2 402 202 книги
Поиск
Жанры
Книги
Категории и жанры
Лучшие книги
Библиотека
Помощь
Мобильная версия
Контакты
Как помочь?
libcats.org
Самая большая
электронная библиотека
рунета. Поиск книг и журналов
↓
Только точные совпадения
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
The Intuitionist
Автор:
Whitehead Colson
Категория:
fiction
Размер книги: 1.89 Mb
Fibrational formulation of intuitionistic predicate logic 1
Автор:
Makkai M.
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 581 Kb
Fibrational formulation of intuitionistic predicate logic 1
Автор:
Makkai M.
Категория:
Mathematics
,
Algebra
,
Mathematical logic
Размер книги: 308 Kb
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
Proof Theory and Intuitionistic Systems
Автор:
Scarpellini B.
Размер книги: 10.92 Mb
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
Intuitionistic type theory
Автор:
Per Martin-Lof
Размер книги: 318 Kb
Short Introduction to Intuitionistic Logic
Автор:
Grigori Mints
Размер книги: 13.84 Mb
A Short Introduction to Intuitionistic Logic
Автор:
Grigori Mints
Размер книги: 10.63 Mb
Intuitionistic logic, model theory and forcing
Автор:
Melvin Fitting
Размер книги: 1.80 Mb
Intuitionistic logic model theory and forcing
Автор:
Melvin Fitting
Размер книги: 3.76 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