Theoretical computer science. 3rd GI Conference. Darmstadt, March 1977 (Lecture notes in computer science 48)
Mathematical Foundations of Computer Science. Volume I: Sets, Relations, and Induction. Text and Monographs in Computer Science
Berechnungstheorie für Informatiker
Theoretische Informatik #NAME?
The Foundations of Program Verification (Series in Computer Science) (German Edition)
Computability (Monographs in Theoretical Computer Science. An EATCS Series)
Theoretische Informatik Eine problemorientierte Einführung
Theoretische Informatik Eine umfassende Einführung
Theoretische Grundlagen der Informatik