Elementary Formal Logic: A Programmed Course

Originally published in 1966. This is a self-instructional course for students who have not had previous acquaintance with Logic. The book deals with "propositional" logic by the truth-table method and proceeds to the theory of the syllogism, the logic of one-place predicates, and elementary parts of the logic of many-place predicates.