Proof and computations
Helmut Schwichtenberg, Stanley S. Wainer
(Perspectives in logic)
Association for Symbolic Logic : Cambridge University Press, c2012
Includes bibliographical references and index
Association for Symbolic Logic : Cambridge University Press