The published work of Kurt Goedel: An annotated bibliography
From MaRDI portal
Publication:1165829
DOI10.1305/NDJFL/1093870315zbMath0488.03002OpenAlexW2007167959WikidataQ125632820 ScholiaQ125632820MaRDI QIDQ1165829
Publication date: 1983
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093870315
Collected or selected works; reprintings or translations of classics (01A75) History of mathematical logic and foundations (03-03) Bibliographies for mathematics in general (00A15)
Related Items (3)
Meeting of the Association for Symbolic Logic, East Lansing, Michigan, 1988 ⋮ Discussion on the foundation of mathematics ⋮ Kurt Gödel in sharper focus
This page was built for publication: The published work of Kurt Goedel: An annotated bibliography