Proofs and computations /

Detalles Bibliográficos
Autores principales: Schwichtenberg, Helmut, Wainer, S. S. (Autor)
Autor Corporativo: Association for Symbolic Logic
Formato: Printed Book
Lenguaje:English
Publicado: Ithaca, NY : Cambridge ; New York : Association for Symbolic Logic ; Cambridge University Press, 2012.
Colección:Perspectives in logic.
Materias:
Computable functions.
Proof theory.
Acceso en línea: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 Estatus de actividad no disponible

Ejemplares similares