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)
Related Items (3)
Truth, reflection and hierarchies ⋮ Informal proofs and mathematical rigour ⋮ ON ADOPTING KRIPKE SEMANTICS IN SET THEORY
This page was built for publication: Informal axiomatization, formalization and the concept of truth