Hilbert's Programs and Beyond
Philosophical and critical aspects of logic and foundations (03A05) External book reviews (00A17) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06) History of mathematics in the 19th century (01A55) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Proof theory in general (including proof-theoretic semantics) (03F03) Philosophy of mathematics (00A30) History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03) Logic in the philosophy of science (03A10) Collections of reprinted articles (00B60)
This page was built for publication: Hilbert's Programs and Beyond
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4983356)