Mathematik: LogikE. Bergmann × Mathematische Logik mit Informatik-Anwendungen E. BergmannSpringer BerlinSoftcover1977