Philosophy 513 - Math Logic I
Fall
2013
01
3.00
Kevin Klement
TU TH 9:30AM 10:45AM
UMass Amherst
38367
Elementary metamathematics. Completeness and Lowenhein-Skolem theorems. Elementary number theory. Godel's incompleteness theorems. Prerequisite for undergraduates: PHIL 310, or consent of the instructor.
Pre Req: PHIL 310&Ugrd or Grad