MAT 440 : Topics in Logic II

Various formal development of the foundations of mathematics by means of the methods of propositional logic, first-order logic, higher-order logics, computability theory, Zermelo-Fraenkel set theory, and category theory. Prerequisite: MAT 340 or permission. Offered only upon sufficient demand. Credit 3.

[Previous]	MAT 429 : Senior Seminar (*)
[Next]	MAT 445 : History of Mathematics
[Up]	Logic, Foundations, History
[Home]	Home Page
[Mail]	Send EMail to Maine Math Talent Search
[Contents]	Maine Math Talent Search Contents

Last modified on Tuesday, January 12, 1999