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.
Negli anni Sessanta ha lavorato molto, e quindi molta della sua teoria logica è rimasto inutilizzata mentre attraversavamo la rivoluzione del computer digitale, ma ora sta tornando.