Materialien zur Vorlesung Lambda-Kalkül und Kombinatorische Logik (SS00)

• Skriptum (ps | pdf)

Materialien zur Vorlesung Logik II (SS00)

• Skriptum (ps | pdf)