Phenomenology, logic, and the philosophy of mathematics - Tieszen, Richard (Cambridge University Press, 2005)