Axiomatic methods: An introduction to mathematical logic - Lightstone A H (New York Harper & Row, 1966)
Keywords: Mathematical logic; Mathematics