The Legacy of Kurt Schütte / Reinhard Kahle, Michael Rathjen editors

• Pubblicazione: Cham, : Springer, 2020
• Titolo uniforme: The Legacy of Kurt Schütte
• Descrizione fisica: xix, 502 p. : ill. ; 24 cm
• Soggetto topico: 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]; 03F05 - Cut-elimination and normal-form theorems [MSC 2020]; 03F15 - Recursive ordinals and ordinal notations [MSC 2020]
• Soggetto non controllato: Cut-Elimination; Hilbert´s Programme; Kurt Schütte; Proof Theory
• Persona (resp. second.): Kahle, Reinhard; Rathjen, Michael
• Titolo autorizzato: Legacy of Kurt Schütte
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: VAN0249929
• Lo trovi qui: Univ. Vanvitelli
• Localizzazioni e accesso elettronico: http://doi.org/10.1007/978-3-030-49424-7