Gentzen’s centenary : the quest for consistency / Reinhard Kahle, Michael Rathjen editors

• Record Nr.: UNICAMPANIAVAN0113260
• Pubbl/distr/stampa: [Cham], : Springer, 2015
• Titolo uniforme: Gentzen’s centenary : the quest for consistency
• Descrizione fisica: X, 561 p. : ill. ; 24 cm
• Soggetti: 03-XX - Mathematical logic and foundations [MSC 2020]; 01A60 - History of mathematics in the 20th century [MSC 2020]; 03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020]; 03F30 - First-order arithmetic and fragments [MSC 2020]; 03A05 - Philosophical and critical aspects of logic and foundations [MSC 2020]; 03F05 - Cut-elimination and normal-form theorems [MSC 2020]; 03F15 - Recursive ordinals and ordinal notations [MSC 2020]; 03F25 - Relative consistency and interpretations [MSC 2020]; 03F35 - Second- and higher-order arithmetic and fragments [MSC 2020]
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia