Computation As Logic door Rene Lalement