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.
Той прави повечето от тази работа през 60те, и много от тази логическа теория бива занемарена докато трае революцията на дигиталните компютри, но ето че сега се завръща.