Proofs and computations /

Detalles Bibliográficos
Main Authors: Schwichtenberg, Helmut, Wainer, S. S. (Author)
Autor Corporativo: Association for Symbolic Logic
Formato: Printed Book
Idioma:English
Publicado: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Series:Perspectives in logic.
Subjects:
Computable functions.
Proof theory.
Acceso en liña:Table of contents only
Contributor biographical information
Publisher description

Internet

Table of contents only
Contributor biographical information
Publisher description

University of Calicut

Detalle de Existencias desde University of Calicut
Número de Clasificación: 511.352
Copia Live Status Unavailable

Títulos similares