• Introduction to Mathematical Logic: An introduction to truth function theory and quantification theory, including the completeness of quantification theory. (PHIL 201) (Back)