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

Internet

Texto completo

Items no disponibles

Detalle de Existencias desde

Ejemplares similares