Courses - Fall 2023
MATH712
Mathematical Logic I
Credits:
3
Grad Meth:
Reg, Aud
Sentential logic, first-order languages, models and formal deductions. Basic model theory including completeness and compactness theorems, other methods of constructing models, and applications such as non-standard analysis.
Flagship Institution of the University System of Maryland
University of Maryland, College Park, MD 20742, USA
/
Phone:
301.405.1000
Copyright
© 2024 University of Maryland
/
Privacy /
Web Accessibility
Contact us
with comments, questions and feedback
/