Search Results
LOG 535 Advanced Logic and Metamathematics
尝翱骋听535听听Advanced Logic and Metamathematics听听(3 credit hours)听听
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 尝翱骋听435 and 尝翱骋听535