MTH 483/583 Introduction to Mathematical Logic (3)

Survey of topics that bear upon the nature of pure mathematics and logic. Special attention given to first-order mathematical logic with related discussions of such topics as mathematical linguistics, theory of effective computability, nonstandard analysis, and foundations of mathematics.

Prerequisite: MTH 421 or 441 or permission of instructor.

Back to top