Search Results
LOG 435 Advanced Logic & Metamathematics
尝翱骋听435听听Advanced Logic & 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