Unit 0 - Summary
Unit 1 - Translations in Function Logic
Unit 2 - Derivations in Function Logic
Unit 3 - Translations in Identity Logic
Unit 3 - Extra Material on Identity Logic
Unit 4 - Derivations in Identity Logic
Unit 5 - Translations in Description Logic
Unit 6 - Derivations in Description Logic
Appendix - Rules of Derivation
These require Adobe Acrobat Reader.