Proof theory of impredicative subsystems of analysis
Consulta il prodotto
| Titolo | Proof theory of impredicative subsystems of analysis |
| Autori | Wilfried Buchholz, Kurt Schütte |
| Collana | Studies in proof theory, 2 |
| Editore | Bibliopolis |
| Formato |
Libro |
| Pagine | 126 |
| Pubblicazione | 04/2007 |
| ISBN | 9788870881660 |
