Informal axiomatization, formalization and the concept of truth
From MaRDI portal
Publication:1226997
DOI10.1007/BF00660887zbMath0329.02003MaRDI QIDQ1226997
Publication date: 1974
Published in: Synthese (Search for Journal in Brave)
03A05: Philosophical and critical aspects of logic and foundations
Related Items
Informal proofs and mathematical rigour, Truth, reflection and hierarchies, ON ADOPTING KRIPKE SEMANTICS IN SET THEORY