Proofs and Computations

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Saved in:

Bibliographic Details
Online Access:	Full Text (via ProQuest)
Main Author:	Schwichtenberg, Helmut, 1942-
Other Authors:	Wainer, S. S.
Format:	eBook
Language:	English
Published:	Cambridge : Cambridge University Press, 2011.
Series:	Perspectives in logic.
Subjects:	Computable functions. Machine theory. Proof theory.

Internet

Full Text (via ProQuest)

Holdings details from Online
Call Number:	QA267 .Sch889 2012
QA267 .Sch889 2012	Available