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.
Foi feito, em grande parte nos anos 60, e muita desta teoria lógica foi esquecida quando prosseguimos com a revolução informática digital, mas está a voltar.