MAT 340 : Topics in Logic I

This course in primarily intended for mathematics majors. Topics covered may vary but typically include propositional logic, first-order logic, first-order arithmetic, theory of recursive functions, Godel numbering, and Godel's first and second incompleteness theorems. Offered upon sufficient demand. Cr 3.

[Previous]	MAT 329 : Problems Seminar II
[Next]	MAT 429 : Senior Seminar (*)
[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