Elementary Symbolic Logic

Introduction to modern logic beginning with truth-functions and covering formal proofs (propositional and predicate) to the level of multiply-general and relational statements. No mathematical applications. Recommended for pre-law and pre-computer studies.