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