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