Mathematik: LogikClemens Beckstein × Zur Logik der Logik-ProgrammierungEin konstruktiver AnsatzClemens BecksteinSpringer BerlinSoftcover1988