Proofs and computations /

Bibliografiske detaljer
Main Authors: Schwichtenberg, Helmut, Wainer, S. S. (Author)
Institution som forfatter: Association for Symbolic Logic
Format: Printed Book
Sprog:English
Udgivet: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Serier:Perspectives in logic.
Fag:
Computable functions.
Proof theory.
Online adgang:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Detaljer om beholdninger fra University of Calicut
Klassifikationsnummer: 511.352
Kopi Live Status Unavailable

Lignende værker