The axiomatic method : Introduction to mathematical logic - Lightstone, A.H (Prentice-Hall, 1964)