Proofs and computations /

Bibliografske podrobnosti
Main Authors: Schwichtenberg, Helmut, Wainer, S. S. (Author)
Korporativna značnica: Association for Symbolic Logic
Format: Printed Book
Jezik:English
Izdano: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Serija:Perspectives in logic.
Teme:
Computable functions.
Proof theory.
Online dostop:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Podrobnosti zaloge University of Calicut
Signatura: 511.352
Kopija Zaloga ni dosegljiva

Podobne knjige/članki