Title: Between logic and intuition
Subjects: Mathematics, Philosophy, Symbolic and mathematical Logic