He did a lot of this work in the '60s, and so a lot of this logic theory lay fallow as we went down the digital computer revolution, but it's now coming back.
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.