Proofs and computations - Schwichtenberg, Helmut 1942-; Wainer, Stanley S. (Perspectives in logic, 2012)