Phil 140A: Intermediate Logic
Instructor: Prof. Paolo Mancosu
Course Breakdown: 7 exercise sets (70%) and a final essay (30%).
Office: 737 Evans
Office Hours: Thursday 10am-12pm, or by appointment
Section Times and Locations
Wednesday 1pm-2pm in 47 Evans
Wednesday 2pm-3pm in 211 Dwinelle
Handouts from Section
- Set Theory [solutions]
- Induction [solutions]
- Deductions [solutions]
- Semantics [solutions]
- Compactness [solutions]
If you want to type your homeworks instead of writing them, the tool you’ll want to use is LaTeX. For more references on typing documents in LaTeX, see my LaTeX page.