Dettaglio del documento
Trova il documento in altre risorse
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies
1981
CAGMI@CAGLIARI_Biblioteca Matematica e informatica
CAGLIARI_Biblioteca Matematica e informatica
Documento disponibile
Documento ammesso al prestito
Inventario |
ZM6 1368 |
Collocazione
COLLANE 21 - LNM 0897
Note
1 V. (ex inventario 7187)
https://opac.regione.sardegna.it/SebinaOpac/resource/CAG01330002