scientific article
From MaRDI portal
zbMath1214.03048MaRDI QIDQ3005437
Publication date: 8 June 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Intuitionistic mathematics (03F55)
Related Items
THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS), Realizability and recursive set theory, Requiem for logical nihilism, or: logical nihilism annihilated, Formalism and Hilbert's understanding of consistency problems, Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics, Higher order functions and Brouwer’s thesis
