On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture
From MaRDI portal
Publication:2870107
DOI10.2178/BSL.1903030zbMath1348.03008OpenAlexW2008214319MaRDI QIDQ2870107
Publication date: 17 January 2014
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10138/42538
History of mathematics in the 20th century (01A60) Philosophical and critical aspects of logic and foundations (03A05) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03)
Related Items (3)
All Quantifiers Versus the Quantifier All ⋮ Inner models from extended logics: Part 1 ⋮ THE RAMIFIED ANALYTICAL HIERARCHY USING EXTENDED LOGICS
This page was built for publication: On formalism freeness: Implementing Gödel's 1946 Princeton bicentennial lecture
