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.
Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / Wilfried Buchholz ... [et al.]
| Iterated inductive definitions and subsystems of analysis : Recent Proof-Theoretical Studies / Wilfried Buchholz ... [et al.] |
| Autore | Buchholz, Wilfried |
| Pubbl/distr/stampa | Berlin [etc.], : Springer-Verlag, 1981 |
| Descrizione fisica | V, 383 p. ; 24 cm |
| Disciplina | 160 |
| Collana | Lecture Notes in Mathematics |
| Soggetto non controllato |
Logica
Ricorsività |
| ISBN | 3-540-11170-0 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNINA-990000969350403321 |
Buchholz, Wilfried
|
||
| Berlin [etc.], : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
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 | ||
| ||
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]
| Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.] |
| Autore | Buchholz, Wilfried |
| Pubbl/distr/stampa | Berlin : Springer-Verlag, 1981 |
| Descrizione fisica | v, 383 p. : ill. ; 25 cm. |
| Disciplina | 511 |
| Collana | Lecture notes in mathematics, 0075-8434 ; 897 |
| Soggetto topico |
Induction
Mathematical analysis Proof theory |
| ISBN | 3540111700 |
| Classificazione |
AMS 03F05
AMS 03F35 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991001047419707536 |
|
Buchholz, Wilfried
|
||
| Berlin : Springer-Verlag, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies [e-book] / by Wilfried Buchholz ... [et al.]
| Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies [e-book] / by Wilfried Buchholz ... [et al.] |
| Autore | Buchholz, Wilfried |
| Pubbl/distr/stampa | Berlin : Springer, 1981 |
| Descrizione fisica | 1 online resource (viii, 384 p.) |
| Disciplina | 511.3 |
| Collana | Lecture Notes in Mathematics, 0075-8434 ; 897 |
| Soggetto topico |
Mathematics
Logic, Symbolic and mathematical |
| ISBN | 9783540386490 |
| Formato | Risorse elettroniche  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991002193639707536 |
|
Buchholz, Wilfried
|
||
| Berlin : Springer, 1981 | ||
| Risorse elettroniche | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / Wilfried Buchholz ... [et al.]
| Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / Wilfried Buchholz ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | viii, 384 p. ; 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] 03F10 - Functionals in proof theory [MSC 2020] |
| Soggetto non controllato |
Calculation
Derivation Equivalence Inductive definition Ordinals Proof Theory Proofs Subsystems of analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN0261823 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / Wilfried Buchholz ... [et al.]
| Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies / Wilfried Buchholz ... [et al.] |
| Pubbl/distr/stampa | Berlin, : Springer, 1981 |
| Descrizione fisica | viii, 384 p. ; 24 cm |
| Soggetto topico |
03-XX - Mathematical logic and foundations [MSC 2020]
03F05 - Cut-elimination and normal-form theorems [MSC 2020] 03F10 - Functionals in proof theory [MSC 2020] 03F15 - Recursive ordinals and ordinal notations [MSC 2020] |
| Soggetto non controllato |
Calculation
Derivation Equivalence Inductive definition Ordinals Proof Theory Proofs Subsystems of analysis |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-VAN00261823 |
| Berlin, : Springer, 1981 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||