A study of the foundations of mathematics and logical reasoning. Topics include propositional calculus, predicate calculus, properties of formal systems, completeness and compactness theorems, Godel’s Incompleteness Theorem, and axiomatic set theory. Some attention will be given to related philosophical issues. Also listed as MATH 310 . Prerequisite: MATH 250 .

Global Search Catalog Search
Choose Search Location

Search Keyword Field

Whole Word/Phrase
Advanced Search

Catalog Navigation

Catalog Home

The University

Academic Regulations and Procedures

Academic Honors and Distinctions

Degrees and Special Programs

Majors and Minors

Courses of Instruction

Student Engagement and Success and Non-Academic Regulations

Expenses and Financial Aid

Facilities

Prizes and Awards

Corporation (Board of Trustees)

University Personnel