Formal logic - Piet, John H. (Cosmo Publ., 2000)