A formalization of a nominalistic set theory
From MaRDI portal
Publication:1221758
DOI10.1007/BF00693271zbMath0317.02076MaRDI QIDQ1221758
Publication date: 1975
Published in: Journal of Philosophical Logic (Search for Journal in Brave)
03E70: Nonclassical and second-order set theories