Meaning and Existence in Mathematics

The reader with a philosophical background should be familiar with the formal syntactico-semantical explications of proof and truth, especially if he wishes to linger on Chapter 1, after which it is easier philosophical sailing;