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.
Ele fez muito do seu trabalho na década de 60, e então muito desta teoria de lógica foi deixada de lado quando entramos na revolução do computador digital, mas agora está voltando.