Proof theory and logical complexity
| Titolo | Proof theory and logical complexity |
| Autore | Girard Jean-yves |
| Editore | Bibliopolis |
| Formato |
Libro |
| Pagine | 506 |
| Pubblicazione | 1987 |
| ISBN | 9788870881233 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
