Proofs and Computations

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

Detalles Bibliográficos
Autores principales: Schwichtenberg, Helmut, Wainer, Stanley S
Lenguaje:eng
Publicado: Cambridge University Press 2011
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/1438098
Descripción
Sumario:This major graduate-level text provides a detailed, self-contained coverage of proof theory.

Ejemplares similares