Hilbert's Programs and Beyond

DOI10.1080/01445340.2014.881079zbMath1308.00035OpenAlexW2035711269WikidataQ57679297 ScholiaQ57679297MaRDI QIDQ4983356

Matthias Wille

Publication date: 25 March 2015

Published in: History and Philosophy of Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/01445340.2014.881079

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Biographies, obituaries, personalia, bibliographies (01A70) Philosophical and critical aspects of logic and foundations (03A05) History of mathematics in the 21st century (01A61) History of mathematical logic and foundations (03-03) Proceedings, conferences, collections, etc. pertaining to history and biography (01-06) History of mathematics in the 19th century (01A55) Proof theory in general (including proof-theoretic semantics) (03F03) External book reviews (00A17) Logic in the philosophy of science (03A10) Collections of reprinted articles (00B60)

This page was built for publication: Hilbert's Programs and Beyond