Unspecified/Staff
Introduces the concepts and techniques of modern formal logic, including both sentential and quantifier logic, as well as proof, interpretation, translation, and validity. For more details on this class, please visit the department website at http://www.virginia.edu/philosophy/.
课程简单，哲学专业必修课，作业量适中