|
Home
| Subject Search
| Help
| Symbols Help
| Pre-Reg Help
| Final Exam Schedule
| My Selections
|
Searched for: 1 subject found.
18.510 Introduction to Mathematical Logic and Set Theory
(
)
Prereq: None
Units: 3-0-9
Lecture: MW2.30-4 (2-135)
Propositional and predicate logic. Zermelo-Fraenkel set theory. Ordinals and cardinals. Axiom of choice and transfinite induction. Elementary model theory: completeness, compactness, and Lowenheim-Skolem theorems. Godel's incompleteness theorem.
H. Cohn
No textbook information available
| ||||||||
