Gentzen's Centenary
From MaRDI portal
Publication:2878883
DOI10.1007/978-3-319-10103-3zbMath1331.03008OpenAlexW2398808989MaRDI QIDQ2878883
No author found.
Publication date: 5 September 2014
Full work available at URL: https://doi.org/10.1007/978-3-319-10103-3
History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Collections of articles of miscellaneous specific interest (00B15) Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations (03-06) Proof theory and constructive mathematics (03Fxx)
Related Items (2)
Well ordering principles for iterated \(\Pi^1_1\)-comprehension ⋮ Lorenzen Between Gentzen and Schütte
This page was built for publication: Gentzen's Centenary
