Mathematical Logic

1 Unit · Graduate

Mathematical formulation and rigorous discussion of logical systems, particularly the propositional calculus and the functional calculi of first and second order. Well-formed formulae, formal languages, proofs, tautologies, effective procedures, deduction theorems, axiom schemata.