Log in with WebAuth to see who is in the course and view and write course reviews.
PHIL250 - Basic Concepts in Mathematical Logic
Also Listed As: PHIL150
(Formerly 159.) The concepts and techniques used in mathematical logic, primarily through the study of the language of first order logic. Topics: formalization, proof, propositional logic, quantifiers, sets, mathematical induction, and enumerability.
GERs: None
Details
Sell Your PHIL250 Book
CourseRank Details
Offerings
Readings
2007-2008 Autumn
| Sec | Kind | Books | ||
|---|---|---|---|---|
| 01 | Required Material(s) | Barwise: | Language Proof & Logic (Set:Txt/Software Pkg) | $65.00 |
2008-2009 Autumn
| Sec | Kind | Books | ||
|---|---|---|---|---|
| 01 | Required Material(s) | Barwise: | Language Proof & Logic (BOX)(Set:Txt/Software Pkg) | $65.00 |
Wiki
Log in with WebAuth to view the Wiki.