Introduction to Proof Theory
Normalization, Cut-Elimination, and Consistency Proofs
Edición de la obra Introduction to Proof Theory
| Autor | Paolo Mancosu, Sergio Galvan, Richard Zach |
|---|---|
| Editorial | Oxford University Press |
| Fecha de publicación | 2021 |
| Idioma | inglés |
| Páginas | 432 |
| ISBN-13 | 9780192895943 |
| Número de Cutter | M269i |