Math 487

Fall 2013


A mathematical logic course, building up to G\ouml;del’s incompleteness theorems, out of Ebbinghaus, Flum, and Thomas.