Proof theory and logical complexity
Edición de la obra Proof Theory and Logical Complexity
| Autor | Jean-Yves Girard |
|---|---|
| Editorial | Bibliopolis |
| Fecha de publicación | 1987 |
| Lugar | Napoli |
| Idioma | inglés |
| ISBN-10 | 8870881237 |
| OCLC | 17455769 |
| LCCN | 88114031 |
| Serie | Studies in proof theory ; · 1 |
| Número de Cutter | G517p |