Proof Analysis. A Contribution to Hilbert's Last Problem
DOI10.1080/01445340.2012.735805zbMath1308.00024OpenAlexW4245065028WikidataQ56675607 ScholiaQ56675607MaRDI QIDQ4983332
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.2012.735805
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Structure of proofs (03F07) Foundations of classical theories (including reverse mathematics) (03B30) Word problems, etc. in computability and recursion theory (03D40) Proof theory in general (including proof-theoretic semantics) (03F03) External book reviews (00A17)
This page was built for publication: Proof Analysis. A Contribution to Hilbert's Last Problem
