Trova il documento in altre risorse
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies
eBook
Springer <editore>
1981
VAN08@Biblioteca del Dipartimento di Matematica e Fisica
Documento per sola consultazione interna
| Inventario |
eMF 6368 |
Collocazione
CONS e-book 6368
https://unina2.on-line.it/opac/resource/VAN0261823
