Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...

Carol R. Karp, Independence Proofs in Predicate Logic with Infinitely Long Expressions, The Journal of Symbolic Logic, Vol. 27, No. 2 (Jun., 1962), pp. 171-188 ...

Outline of topics Ever since modern symbolic logic was consolidated (in the mid 1900s), the standard format for an introductory logic class has been to learn the classical predicate calculus in three ...