Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
From MaRDI portal
Publication:2409191
Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) External book reviews (00A17) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) History of mathematical logic and foundations (03-03) Proof theory and constructive mathematics (03Fxx)
Cites work
- scientific article; zbMATH DE number 3950473 (Why is no real title available?)
- scientific article; zbMATH DE number 47172 (Why is no real title available?)
- scientific article; zbMATH DE number 3002821 (Why is no real title available?)
- scientific article; zbMATH DE number 3030933 (Why is no real title available?)
- Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie
- David Hilbert's Lectures on the Foundations of Arithmetic and Logic 1917-1933
- Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie
- Hilbert's programs and beyond
- Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
- The consistency of arithmetics
- Untersuchungen über das logische Schliessen. I
- Zur Widerspruchsfreiheit der Zahlentheorie
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik
- Über die Existenz unabhängiger Axiomensysteme zu unendlichen Satzsystemen
This page was built for publication: Book review of: R. Kahle (ed.) and M. Rathjen (ed.), Gentzen's centenary. The quest for consistency
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409191)
