Cargando…

Proofs and Computations.

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:
Acceso en línea:Texto completo
Search Result 1
por Schwichtenberg, Helmut
Publicado 2011
Texto completo
Electrónico eBook