Language and Logic Sets: sets.md · sets.pdf · sets.ipynb References Sets, Logic, Computation (Richard Zach, Open Logic Project) forall x: Calgary (P.D. Magnus, Aaron Thomas-Bolduc, Richard Zach)
