Transparencies/Handouts
Natural Deduction Rules in ps or pdf format
Sequent Rules in ps or pdf format
Axiomatic Propositional Logic in ps or pdf format
Predicate Logic in ps or pdf format
Semantic Tableaux in ps or pdf format
Problem Sheets
Sheet 1 in ps or pdf format
Sheet 2 in ps or pdf format
Assignment 1 in ps or pdf format,
which is due at the beginning of the lecture on Friday, 7 Oct 2016.
Sheet 4 in ps or pdf format
Sheet 5 in ps or pdf format
Assignment 2 in ps or pdf format,
which is due at the beginning of the lecture on Friday, 4 Nov 2016.
Sheet 7 in ps or pdf format
Assignment 3 in ps or pdf format,
which is due at the beginning of the lecture on Friday, 18 Nov 2016.