Proofs and computations /

Bibliografiska uppgifter
Huvudupphovsmän: Schwichtenberg, Helmut, Wainer, S. S. (Författare, medförfattare)
Institutionell upphovsman: Association for Symbolic Logic
Materialtyp: Printed Book
Språk:English
Publicerad: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Serie:Perspectives in logic.
Ämnen:
Computable functions.
Proof theory.
Länkar:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Beståndsuppgifter i University of Calicut
Signum: 511.352
Exemplar Status otillgänglig

Liknande verk