The Axiomatic method: an introduction to mathematical logic. - Lightstone, A. H. (Prentice Hall, 1964)