Home›Books›Proofs and Computations (Perspectives in Logic)Proofs and Computations (Perspectives in Logic)by Helmut Schwichtenberg, Stanley S. WainerNo description available.Computable functionsProof theoryLogic, symbolic and mathematical