Vai al contenuto principale della pagina

Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / 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 / Wilfried Buchholz ... [et al.] Visualizza cluster
Pubblicazione: Berlin [etc.], : Springer-Verlag, 1981
Descrizione fisica: V, 383 p. ; 24 cm
Disciplina: 160
Soggetto non controllato: Logica
Ricorsività
Titolo autorizzato: Iterated inductive definitions and subsystems of analysis  Visualizza cluster
ISBN: 3-540-11170-0
Formato: Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione: Inglese
Record Nr.: 990000969350403321
Lo trovi qui: Univ. Federico II
Collocazione: 7-252
10 DO 93 TA
Opac: Controlla la disponibilità qui