Title: The neo-intuitionist theory of mathematics and logic
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic, Intuition