Introduction to logic - Suppes, Patrick (Van Nostrand, 1957)