Informal axiomatization, formalization and the concept of truth

DOI10.1007/BF00660887zbMath0329.02003MaRDI QIDQ1226997

Charles Parsons

Publication date: 1974

Published in: Synthese (Search for Journal in Brave)

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05)

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