Introduction to Logic - Cruz, Corazon L. (1983)