Sehr empfehlenswert:

• D. Pym, E. Ritter: Reductive Logic and Proof Search. Oxford University Press 2004 Dieses Buch wird uns als Orientierung dienen.
• M. Barr, C. Wells: Categories for Computer Science. Prentice Hall International 1995 Grundlagenbuch über Kategorientheorie.

Weitere Literatur wird für die einzelnen Vorträge im Seminar bekannt gegeben.