Meaning and existence in mathematics - Castonguay Charles (Wien Springer-Verlag, 1972)
Keywords: Mathematical logic