Mathematical Logic I

Development of the propositional calculus and the predicate calculus, with special emphasis on their mathematical aspects and applications. Semantics, axiom systems, and tableau systems will be presented, and Godel's completeness theorem will be proven. Further topics will be selected from computer implementation, model theory, and incompleteness/undecidability.
Note. A course in Modern Algebra is required and must be completed before taking this course.