Dettaglio del documento
Trova il documento in altre risorse
Extensional Gödel Functional Interpretation : A Consistensy Proof of Classical Analysis
Luckhardt, Horst
eBook
Springer <editore>
1973
VAN08@Biblioteca del Dipartimento di Matematica e Fisica
Documento per sola consultazione interna
| Inventario |
eMF 5695 |
Collocazione
DLOAD e-book 5695
https://unina2.on-line.it/opac/resource/VAN00255816
