Proofs and computations - Schwichtenberg, Helmut (Perspectives in logic., 2012)