Mocha Home Power Search Report a Bug About/Help
Semester

Code
(or departments, like "csci, biol, bi")
Professor
Title
When
(hours, like "D, H, J")


(or use advanced search)

Shopping Cart
  M T W Th F
 

Displaying result 1 to 1 of 1 total matches.

PHIL1880: Advanced Deductive Logic

An introduction to the 'limitative' theorems of deductive logic, including the undecidability of first-order logic, the Gödel incompleteness theorems, and the arithmetical undefinability of arithmetical truth. Intended as a sequel to PL 163 (PHIL1630); previous participation in either that course or one of similar content is strongly recommended.

Offered Spring, 2010 by the Philosophy department(s).

View this course's page in Banner's catalog or schedule.

Section S01 G Hour (M.,W.,F. 2:00-2:50 PM) at 54 College St-Gerard House 119 Add to cart
CRN 21837 Joshua B. Schechter


This site is not affiliated with Brown University. The information contained here is not official, nor is any guarantee made with respect to its correctness. We make every effort to keep the information current and accurate, but sometimes we miss something. If you find missing or incorrect course information, please email us at mocha-feedback@siliconfections.com. For the most up-to-date and guaranteed accurate course information, visit Banner.