3260. Introduction to Mathematical Logic
3.00 credits
Prerequisites:
Grading Basis: Graded
Formalization of mathematical theories, elementary model theory with applications to algebra, number theory, and non-standard analysis. Additional topics: Elementary recursion theory and axiomatic set theory. Emphasis on the applications of logic to mathematics rather than the philosophical foundations of logic.
Last Refreshed:
To view current class enrollment click the refresh icon next to the enrollment numbers.
| Term | Class Number | Campus | Instruction Mode | Instructor | Section | Session | Schedule | Enrollment | Location | Credits | Grading Basis | Notes |
|---|