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