Title: Intuitionistic Proof Versus Classical Truth
Subjects: Intuitionistic mathematics, Logic, symbolic and mathematical, Philosophy