Proofs and computations /

Bibliographic Details
Main Authors: Schwichtenberg, Helmut, Wainer, S. S. (Author)
Corporate Author: Association for Symbolic Logic
Format: Printed Book
Language:English
Published: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Series:Perspectives in logic.
Subjects:
Computable functions.
Proof theory.
Online Access:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Holdings details from University of Calicut
Call Number: 511.352
Copy Live Status Unavailable

Similar Items