## Phil 140A: Intermediate Logic

**Instructor:** Prof. Paolo Mancosu

**Course Breakdown:** 7 exercise sets (70%) and a final essay (30%).

### Office Hours

**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

##### Worksheets

- Set Theory [solutions]
- Induction [solutions]
- Deductions [solutions]
- Semantics [solutions]
- Compactness [solutions]

##### Notes

### LaTeX

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.