Treatise on intuitionistic type theory
From MaRDI portal
Publication:639262
DOI10.1007/978-94-007-1736-7zbMath1246.03005OpenAlexW2406839271MaRDI QIDQ639262
Publication date: 20 September 2011
Published in: Logic, Epistemology, and the Unity of Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-94-007-1736-7
Philosophical and critical aspects of logic and foundations (03A05) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Other constructive mathematics (03F65) Intuitionistic mathematics (03F55)
Related Items (7)
Meaning and computing: two approaches to computable propositions ⋮ Algorithmic Theories of Problems. A Constructive and a Non-Constructive Approach ⋮ Identity and sortals (and Caesar) ⋮ An Investigation into Intuitionistic Logic with Identity ⋮ Dialectic, the Dictum de Omni and Ecthesis ⋮ THE CONCEPTHORSEIS A CONCEPT ⋮ Unnamed Item
This page was built for publication: Treatise on intuitionistic type theory
