Introduction to logic - Suppes, Patrick (1964)