Skip to content
LiarParadox.org
Formalizing Self-Reference Paradox using Predicate Logic (PDF)
Formalizing Self-Reference Paradox
Post navigation
Previous
Previous post:
Liar Paradox Proof (PDF)
Next
Next post:
Minimal Type Theory (MTT)