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