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.
Realizó mucho trabajo en los años sesenta, y mucha de su teoría lógica quedo empolvada y conforme avanzamos a la revolución digital de las computadores, está regresando.