Proofs and computations

Bibliographic Details
Main Author:	Schwichtenberg, Helmut 1942-
Corporate Author:	Association for Symbolic Logic
Other Authors:	Wainer, S. S.
Format:	Book
Language:	English
Published:	Ithaca, N.Y., Cambridge Association for Symbolic Logic Cambridge University Press 2012.
Series:	Perspectives in logic.
Subjects:	Computable functions. Proof theory.
Online Access:	Table of contents only