Elements of mathematical logic Model theory - Kreisel G; Krivine J L (1967)
Keywords: PHILOSOPHY