Literatur zur Informatik I

• Abelson, Sussman, Sussman: Structure and Interpretation of Computer Programs. 2nd edition. MIT Press, 1996. (Deutsche Ausgabe bei Springer, 1998.)
• Goos: Vorlesungen zur Informatik. Band 1: Grundlagen und funktionales Programmieren. Springer 1995.
• Hailperin, Kaiser, Knight: Concrete Abstractions. Brooks/Cole, 1999.
• Klaeren: Vom Problem zum Programm. Teubner, 1990.

Zu logischen Kalkülen:

Goos (s.o.)

Jean Gallier: Logic for Computer Science. Harper Row, 1986.

Zum Lambda-Kalkül:

Goos (s.o.)

Peter Thiemann: Grundlagen der funktionalen Programmierung. Teuber, 1994.