Vai al contenuto principale della pagina

Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies [e-book] / by Wilfried Buchholz ... [et al.]



(Visualizza in formato marc)    (Visualizza in BIBFRAME)

Autore: Buchholz, Wilfried Visualizza persona
Titolo: Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies [e-book] / by Wilfried Buchholz ... [et al.] Visualizza cluster
Pubblicazione: Berlin : Springer, 1981
Descrizione fisica: 1 online resource (viii, 384 p.)
Disciplina: 511.3
Soggetto topico: Mathematics
Logic, Symbolic and mathematical
ISBN: 9783540386490
Formato: Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 991002193639707536
Lo trovi qui: Univ. del Salento
Localizzazioni e accesso elettronico http://dx.doi.org/10.1007/BFb0091894
Opac: Controlla la disponibilità qui
Serie: Lecture Notes in Mathematics, 0075-8434 ; 897
Fa parte di: Springer eBooks