Propositional and Predicate Calculus: A Model of Argument

Propositions and Truth Assignments.- Formal Propositional Calculus.- Predicates and Models.- Formal Predicate Calculus.- Some Uses of Compactness.