top

  Info

  • Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.

  Info

  • Utilizzare questo link per rimuovere la selezione effettuata.
Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / by Buchholz W. Feferman S. Pohlers W. Sieg W.
Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / by Buchholz W. Feferman S. Pohlers W. Sieg W.
Autore Buchholz, Wilfried
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1
Collana Lecture Notes in Mathematics
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001218740403321
Buchholz, Wilfried  
Berlin [etc.] : Springer-Verlag, 1
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proof theory : the first step into impredicativity / Wolfafram Pohlers
Proof theory : the first step into impredicativity / Wolfafram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlino : Springer, c2009
Descrizione fisica xiii, 370 p. ; 24 cm
Disciplina 511.3
Collana Universitext
Soggetto non controllato Teoria della dimostrazione
Eliminazione dei tagli
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990008844650403321
Pohlers, Wolfram  
Berlino : Springer, c2009
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui
Proof theory : the first step into impredicativity / Wolfram Pohlers
Proof theory : the first step into impredicativity / Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin, : Springer, 2009
Descrizione fisica XIII, 370 p. ; 24 cm.
Soggetto topico 03Fxx - Proof theory and constructive mathematics [MSC 2020]
ISBN 978-35-406-9318-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-SUN0085573
Pohlers, Wolfram  
Berlin, : Springer, 2009
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Proof theory : the first step into impredicativity / Wolfram Pohlers
Proof theory : the first step into impredicativity / Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin, : Springer, 2009
Descrizione fisica XIII, 370 p. ; 24 cm.
Soggetto topico 03Fxx - Proof theory and constructive mathematics [MSC 2020]
ISBN 978-35-406-9318-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISOB-VAN0085573
Pohlers, Wolfram  
Berlin, : Springer, 2009
Materiale a stampa
Lo trovi qui: Univ. Suor Orsola Benincasa
Opac: Controlla la disponibilità qui
Proof theory : the first step into impredicativity / Wolfram Pohlers
Proof theory : the first step into impredicativity / Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin, : Springer, 2009
Descrizione fisica XIII, 370 p. ; 24 cm
Soggetto topico 03Fxx - Proof theory and constructive mathematics [MSC 2020]
ISBN 978-35-406-9318-5
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0085573
Pohlers, Wolfram  
Berlin, : Springer, 2009
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Proof theory : an introduction / Wolfram Pohlers
Proof theory : an introduction / Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin [etc.] : Springer, c1989
Descrizione fisica VI, 213 p. ; 25 cm.
Disciplina 511.3
Collana Lecture notes in mathematics
Soggetto topico Teoria della dimostrazione
ISBN 3-540-51842-8
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNIBAS-000013629
Pohlers, Wolfram  
Berlin [etc.] : Springer, c1989
Materiale a stampa
Lo trovi qui: Univ. della Basilicata
Opac: Controlla la disponibilità qui
Proof Theory : An Introduction / Wolfram Pohlers
Proof Theory : An Introduction / Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin, : Springer, 1989
Descrizione fisica viii, 220 p. : ill. ; 24 cm
Soggetto topico 03-XX - Mathematical logic and foundations [MSC 2020]
03F05 - Cut-elimination and normal-form theorems [MSC 2020]
03F15 - Recursive ordinals and ordinal notations [MSC 2020]
Soggetto non controllato Calculus
Number theory
Proof Theory
Proofs
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNICAMPANIA-VAN0265950
Pohlers, Wolfram  
Berlin, : Springer, 1989
Materiale a stampa
Lo trovi qui: Univ. Vanvitelli
Opac: Controlla la disponibilità qui
Proof theory [e-book] : the first step into impredicativity / by Wolfram Pohlers
Proof theory [e-book] : the first step into impredicativity / by Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin : Springer, 2009
Descrizione fisica v.: digital
Collana Universitext
Soggetto topico Logic, Symbolic and mathematical
ISBN 9783540693192
Formato Software
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991000526769707536
Pohlers, Wolfram  
Berlin : Springer, 2009
Software
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Proof theory [e-book] : an introduction / by Wolfram Pohlers
Proof theory [e-book] : an introduction / by Wolfram Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin : Springer, 1989
Descrizione fisica 1 online resource (viii, 220 p.)
Disciplina 511.3
Collana Lecture Notes in Mathematics, 0075-8434 ; 1407
Soggetto topico Mathematics
Logic, Symbolic and mathematical
ISBN 9783540468257
Classificazione AMS 03F
Formato Risorse elettroniche
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNISALENTO-991002232759707536
Pohlers, Wolfram  
Berlin : Springer, 1989
Risorse elettroniche
Lo trovi qui: Univ. del Salento
Opac: Controlla la disponibilità qui
Proof Theory. An Introduction / by Pohlers
Proof Theory. An Introduction / by Pohlers
Autore Pohlers, Wolfram
Pubbl/distr/stampa Berlin [etc.] : Springer-Verlag, 1989
Descrizione fisica Lecture notes in mathematics ; 1407
Formato Materiale a stampa
Livello bibliografico Monografia
Lingua di pubblicazione eng
Record Nr. UNINA-990001272930403321
Pohlers, Wolfram  
Berlin [etc.] : Springer-Verlag, 1989
Materiale a stampa
Lo trovi qui: Univ. Federico II
Opac: Controlla la disponibilità qui