Introduction to logic - COPI, IRVING M. (1961)