Course Description Course Description
| MA471 Mathematical Logic 0.5 |
|
Propositional calculus; quantifiers; consistency and completeness; introduction to model theory, including the compactness theorem and the Lwenheim-Skolem Theorems.† |
| Prerequisite: MA215 and one additional credit of 200 level Mathematics. |
| 1996-1998 Undergraduate Calendar Addendum |
![[Table of Contents]](toc.gif)
|
![[Courses by Subject]](crssbsub.gif) ![[Courses by Name]](crssbnme.gif) ![[Awards by Category]](awrdbctg.gif) ![[Awards by Name]](awrdbnme.gif) ![[Calendar Search]](search.gif)
|