Introduction to logic - Suppes, Patrick (The University Series in Undergraduate Mathematics., 1957)