Hilbert's Programs and Beyond
Publication:4983356
DOI10.1080/01445340.2014.881079zbMath1308.00035OpenAlexW2035711269WikidataQ57679297 ScholiaQ57679297MaRDI QIDQ4983356
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
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