scientific article; zbMATH DE number 5905243
From MaRDI portal
Publication:3005437
zbMATH Open1214.03048MaRDI QIDQ3005437FDOQ3005437
Publication date: 8 June 2011
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Intuitionistic mathematics (03F55)
Cited In (6)
- Book review of: E. Martino, Intuitionistic proof versus classical truth. The role of Brouwer's creative subject in intuitionistic mathematics
- THE AXIOM OF CHOICE IS FALSE INTUITIONISTICALLY (IN MOST CONTEXTS)
- Higher order functions and Brouwer’s thesis
- Formalism and Hilbert's understanding of consistency problems
- Requiem for logical nihilism, or: logical nihilism annihilated
- Realizability and recursive set theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3005437)
