LOG 535 - Advanced Logic & Metamathematics

Description
Advanced topics in logic and metamathematics: proof procedures, first-order theories, soundness and completeness theorems, recursive functions, the formalization of arithmetic, the Goedel Incompleteness Theorems. Emphasis on mathematical study of logic and mathematics. Students cannot receive credit for both LOG 435 and LOG 535 Prerequisite: LOG 335. Credit is not allowed for both LOG 435 and LOG 535.
Credits
3
Recent Professors
Open Seat Checker
Schedule Planner
Recent Semesters
Spring 2018
Offered
MW
Avg. Class Size
5
Avg. Sections
1