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