Corrigendum to “Incompleteness in a General Setting”
From MaRDI portal
Publication:5387299
DOI10.2178/BSL/1208358848zbMath1139.03317OpenAlexW2045444614MaRDI QIDQ5387299
No author found.
Publication date: 8 May 2008
Published in: Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2178/bsl/1208358848
Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) First-order arithmetic and fragments (03F30) Foundations of classical theories (including reverse mathematics) (03B30) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Gödel numberings and issues of incompleteness (03F40)
This page was built for publication: Corrigendum to “Incompleteness in a General Setting”
