Introduction to logic - Suppes, Patrick (Affiliated Eeast-West Press, 2003)