MATH 3310
Introduction to Mathematical Logic
Development of the first order predicate calculus and fundamental metamathematical notions. Prerequisite: 2501, 2600, or all of 2100, 2300, and 2410. [3] (MNS)
Sources
- Course catalogue ↗2026–2027
Development of the first order predicate calculus and fundamental metamathematical notions. Prerequisite: 2501, 2600, or all of 2100, 2300, and 2410. [3] (MNS)