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