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.
Radio je mnogo na ovome u 60-ima, tako da je mnogo ove logičke teorije bilo zanemareno dok smo prolazili kroz digitalnu računalnu revoluciju, ali sada se vraća.