Mathematik: LogikHartmut Ehrig × Mathematisch-strukturelle Grundlagen der Informatik Hartmut EhrigSpringer BerlinSoftcover2001