Future Tasks for Gödel Scholars
From MaRDI portal
Publication:3370618
DOI10.2178/bsl/1120231627zbMath1098.03001OpenAlexW2060535541MaRDI QIDQ3370618
John W. jun. Dawson, Cheryl A. Dawson
Publication date: 8 February 2006
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1120231627
History of mathematics in the 20th century (01A60) Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Future perspectives in mathematics (01A67)
Related Items (5)
GÖDEL’S NOTRE DAME COURSE ⋮ Gödel on deduction ⋮ Book review of: M. Baaz (ed.) et al., Kurt Gödel and the foundations of mathematics. Horizons of truth ⋮ Gödel's natural deduction ⋮ Gödel and Intuitionism
Cites Work
This page was built for publication: Future Tasks for Gödel Scholars