3 books • 4 series
Computable Analysis (Texts in Theoretical Computer Science. An EATCS)
Logik für Informatiker (Leitfaden und Monographien der Informatik)
Computability (Monographs in Theoretical Computer Science. An EATCS, #9) (Eatcs Monographs on Theoretical Computer Science, #9)