Introduction to logic : Princeton - Suppes, Patrick (Van Nostrand, 1957)