MATH 6810

MATH 6810

Course information provided by the Courses of Study 2020-2021.

Covers basic topics in mathematical logic, including propositional and predicate calculus; formal number theory and recursive functions; completeness and incompleteness theorems, compactness and Skolem-Loewenheim theorems. Other topics as time permits.

When Offered Spring.

View Enrollment Information

Enrollment Information
Syllabi: none
  •   Regular Academic Session. 

  • 4 Credits Stdnt Opt

  • 17883MATH 6810  LEC 001

    • TROnline Meeting
    • Feb 8 - May 14, 2021
    • Nerode, A

  • Instruction Mode: Online