Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF
From MaRDI portal
Publication:2965666
DOI10.1093/PHILMAT/NKU005zbMath1432.03105OpenAlexW2022236075MaRDI QIDQ2965666
Publication date: 3 March 2017
Full work available at URL: https://semanticscholar.org/paper/70216d8d43c0c6dfa11c05738d0e04030b3b8835
Philosophical and critical aspects of logic and foundations (03A05) Nonclassical and second-order set theories (03E70)
This page was built for publication: Mathematical Objects arising from Equivalence Relations and their Implementation in Quine's NF