Introduction to logic - Suppes Patrick (D. Van Nostrand Co., 1962)