Proofs and computations /

Bibliografski detalji
Glavni autori: Schwichtenberg, Helmut, Wainer, S. S. (Autor)
Autor kompanije: 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 pristup:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Detalji primjeraka od University of Calicut
Signatura: 511.352
Primjerak Prikaz statusa u stvarnom vremenu nije dostupan

Similar Items