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