Course detail: PHIL006

Filter results

Subject area:     Term:    

FORMAL LOGIC II

An introduction to first-order including the completeness, compactness, and Lowenheim-Skolem theorems, and Godel's incompleteness theorems.

Fall 2009

Section 401 - LEC

Day and Time
  • Days: TR   Time: 0130PM-0300PM
Instructors
  • WEINSTEIN, SCOTT
Cross Listings
  • LGIC310401
  • MATH570401
  • PHIL506401