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.
Wykonał większość tej pracy w latach 60', więc znaczna część tej teorii logicznej leżała odłogiem, kiedy zmierzaliśmy do cyfrowej rewolucji komputerowej, ale teraz wraca.