Course Textbook
Problem Sheets
Problems are chosen from Andrew Ker's Lecture Notes above.
Problem Sheet 1: Exercises 1.1, 1.2 (first part), 1.5, 1.6, 1.8, 1.10
Problem Sheet 2: Exercises 2.1, 2.2, 2.5, 2.9 (Can you define the normal terms using trees?), 2.11, 2.12