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