Proofs and Computations.

Mostrar otras versiones (1)

This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Schwichtenberg, Helmut
Otros Autores: Wainer, S. S.
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press, 2011.
Colección:Perspectives in logic.
Temas:
Computable functions.
Machine theory.
Proof theory.
Fonctions calculables.
Théorie des automates.
Théorie de la preuve.
COMPUTERS > Machine Theory.
Demostración, Teoría de la
Computable functions
Machine theory
Proof theory
Acceso en línea:Texto completo
Descripción
Sumario:This major graduate-level text provides a detailed, self-contained coverage of proof theory.
Descripción Física:1 online resource (482 pages)
Bibliografía:Includes bibliographical references (pages 431-455) and index.
ISBN:9781139220200
1139220209
9786613579836
6613579831
9781139223638
1139223631
9781139031905
1139031902
9781139217101
1139217100

Ejemplares similares