Introduction to logic - Suppes, Patrick (D. Van Nostrand Company, Inc, 1957)