ShaughanLavine - 09 Mar 2010 - 19:26 - 1.26 " class="twikiLink">TWiki> Curriculum Web>PresentCourses>MathematicalLogic502 (09 Dec 2004, ShaughanLavine)EditAttach
PhiL502 -- Mathematical Logic (3 units)
Description: [Taught alternate years 2003 - 2004] Sentential calculus, predicate calculus; consistency, independence, completeness, and the decision problem. Designed to be of interest to majors in mathematics or philosophy. Graduate-level requirements include more extensive problem sets or advanced projects.
Grading: Regular grades are awarded for this course: A B C D E.
Identical to: MATH 502; MATH is home department.
May be convened with: PHIL 402.
Usually offered: Fall.

Taught By:



-- ShaughanLavine - 20 Nov 2004

Topic revision: r2 - 09 Dec 2004 - 19:15:35 - ShaughanLavine
  • ShaughanLavine - 09 May 2007 - 13:57 - 1.2 " class="twikiCurrentWebHomeLink twikiLink">web-bg-small Curriculum


 
This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback