4 works on record
After Gödel
Between logic and intuition
Mathematical intuition
Phenomenology, Logic, and the Philosophy of Mathematics