Proof theory and logical complexity
| Titolo | Proof theory and logical complexity |
| Autore | Jean-Yves Girard |
| Collana | Studies in proof theory, 1 |
| Editore | Bibliopolis |
| Formato |
Libro |
| Pagine | 506 |
| Pubblicazione | 04/2007 |
| ISBN | 9788870881233 |
| Titolo | Proof theory and logical complexity |
| Autore | Jean-Yves Girard |
| Collana | Studies in proof theory, 1 |
| Editore | Bibliopolis |
| Formato |
Libro |
| Pagine | 506 |
| Pubblicazione | 04/2007 |
| ISBN | 9788870881233 |