Axiomatic methods: An introduction to mathematical logic - Lightstone A H (1964)
Keywords: Mathematical logic; Mathematics