Proofs and computations /

Bibliografische gegevens
Hoofdauteurs: Schwichtenberg, Helmut, Wainer, S. S. (Auteur)
Coauteur: Association for Symbolic Logic
Formaat: Printed Book
Taal:English
Gepubliceerd in: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Reeks:Perspectives in logic.
Onderwerpen:
Computable functions.
Proof theory.
Online toegang:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Exemplaargegevens van University of Calicut
Plaatsingsnummer: 511.352
Kopie Status is onbeschikbaar

Gelijkaardige items