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.
Il a fait beaucoup de ce travail dans les années 60, et donc beaucoup de cette théorie logique est restée en jachère quand nous sommes passés à la révolution informatique numérique, mais elle revient à présent.