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.
وقد أنجز الكثير من العمل في الستينات، والكثير حول هذه النظرية المنطقية طرح أرضا مع ولوجنا إلى ثورة الحواسيب الرقمية، لكنها الآن في طريق العودة.