Introduction to logic - Suppes, Patrick, 1922-2014 (Dover Publications, 1957)