Proof theory of impredicative subsystems of analysis
| Titolo | Proof theory of impredicative subsystems of analysis |
| Autori | Buchholz Wilfried, Schütte Kurt |
| Editore | Bibliopolis |
| Formato |
Libro |
| Pagine | 126 |
| Pubblicazione | 1988 |
| ISBN | 9788870881660 |
|
Acquistabile con Carta del docente o Carta Cultura Giovani |
