TRANSLATIONS [MS WORD]

HOMEWORK SHEET I [MS WORD]

ARGUMENTS IN ENGLISH [HTML]

INFERENCE RULES [MS WORD]

NATURAL DEDUCTION PROBLEMS [MS WORD]