Mathematische Logik mit Informatik-Anwendungen

by E. Bergmann, H. Noll