Er führte einen großen Teil dieser Arbeit in den 60ern durch und deshalb lag ein Großteil dieser Logiktheorie brach, als die digitale Computer-Revolution nahte, aber jetzt kehrt es zurück.
He did a lot of this work in the '60s