Proof Theory and Logical Complexity
Volume I (Studies in Proof Theory)
Edición de la obra Proof Theory and Logical Complexity
| Autor | Jean-Yves Girard |
|---|---|
| Editorial | Elsevier Science Pub Co |
| Fecha de publicación | October 1, 1990 |
| Idioma | inglés |
| Páginas | 504 |
| Formato | Hardcover |
| ISBN-13 | 9780444987150 |
| ISBN-10 | 0444987150 |
| OCLC | 311229794 |
| Número de Cutter | G517p |