Mathematical thought; an introduction to the philosophy of mathematics - Beth, Evert Willem (Synthese library, 1965)