Die Entwicklung der logischen Basis der Computerwissenschaften - Zemanek, Heinz 1920-2014 (1987)