aboutlogic: premises #07 | Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory

Fixing Russell’s Paradox: The Birth of ZFC & Constructive Set Theory
Further Reading & Resources:
Get the HoTT Book for free (no advertisement): homotopytypetheory.org/book
Thorsten Altenkirch: cs.nott.ac.uk/~psztxa
Deniz Sarikaya: denizsarikaya.de
Creative Production: Jan-Niklas Meyer: jammos.com