On the Study and Difficulties of Mathematics
2004
Mathematical Logic and the Foundations of Mathematics: An Introductory Survey
2001
