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.
A 60-as években sok ilyen munkát végzett, de sok logikai elmélet parlagon maradt a digitális számítógép forradalma során, de most ismét előkerülnek.