Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

DOI10.1093/PHILMAT/NKZ013zbMATH Open1451.00059OpenAlexW2966762970MaRDI QIDQ5124669FDOQ5124669

Authors: Wim Veldman 

Publication date: 30 September 2020

Published in: Philosophia Mathematica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/philmat/nkz013

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) External book reviews (00A17) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Philosophy of mathematics (00A30) Metamathematics of constructive systems (03F50)

This page was built for publication: Enrico Martino.*Intuitionistic Proof Versus Classical Truth, The Role of Brouwer’s Creative Subject in Intuitionistic Mathematics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5124669)