The Concept of Truth in Formalized Languages

GPTKB entity