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.
El a lucrat preponderent în anii '60, şi astfel o mare parte din această teorie logică a fost acoperită în timp ce treceam prin revoluţia computerelor digitale, dar acum revine.