Five College Consortium

Advanced Logic

Semester: 
Fall
Year: 
2013
Subject Name: 

Philosophy

Course Number: 
327
Institution: 
Mount Holyoke College
'This course presents a careful development of predicate calculus, formal elementary number theory, and elementary recursion theory, culminating in a proof of Godel's incompleteness results. It includes some discussion of the philosophical significance of these results for the foundations of mathematics.'
Comments: 
Prereq: Philosophy 225 and 4 additional credits in Philosophy or Mathematics
Instructor Permission: 
Permission is required for interchange registration during the add/drop period only.
Crosslisted Section ID: 
85149,85040
http://isis.mtholyoke.edu
Schedule #: 
85149

Course Sections

Advanced Logic
Sect # Credits Instructor(s) Instructor Email Meeting Times Location
01 4.0

Lee Bowie

lbowie@mtholyoke.edu

MWF 10:00AM-10:50AM

Skinner Hall 212