Proofs and computations /

Saved in:

Bibliographic Details
Main Author:	Schwichtenberg, Helmut, 1942-
Corporate Author:	Association for Symbolic Logic
Other Authors:	Wainer, S. S.
Format:	Book
Language:	English
Published:	Cambridge ; New York : Cambridge University Press, 2012.
Series:	Perspectives in logic.
Subjects:	Computable functions. Proof theory.

Hesburgh Library General Collection

Holdings details from Hesburgh Library General Collection
Call Number:	QA 9.54 .S39 2012
	Available Request Request a scan of an article or book chapter