Introduction to logic - Suppes, Patrick (Toronto D. Van Nostrand, 1967)