Computerprogrammierung und SoftwareentwicklungClemens Beckstein ×Springer Berlin × Zur Logik der Logik-ProgrammierungEin konstruktiver AnsatzClemens BecksteinSpringer BerlinSoftcover1988