Dettaglio del documento
Trova il documento in altre risorse
Incompleteness for Higher-Order Arithmetic : An Example Based on Harrington’s Principle
Cheng, Yong
eBook
Springer <editore>
2019
VAN08@Biblioteca del Dipartimento di Matematica e Fisica
BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA
Documento per sola consultazione interna
| Inventario |
eMF 1844 |
Collocazione
DLOAD e-book 1844
https://unina2.on-line.it/opac/resource/VAN00127310
