Introduction to logic - M. Cop Irving - IRVING, M. Cop. (Irving, 1978)