Introduction to logic - Suppes, Patrick 1922-2014 (van Nostrand, 1975)