No more than four courses can be counted towards the certificate from any single discipline (philosophy, linguistics, mathematics, computer science).
At least two courses must be taken at an advanced level (500 or above at UMass, 300 or above at Smith, Hampshire, Mt Holyoke, or Amherst).
At least one course should expose students to the basic metatheory of first order logic including incompleteness. Courses satisfying this requirement include:
Smith, Philosophy 220
Amherst, Math 385
UMass Amherst, Philosophy 513, 514
Mount Holyoke, Philosophy 327
Students must receive grades of at least "B" in each course counting towards the certificate.