Studies on the axiom of comprehension
From MaRDI portal
Publication:2395758
DOI10.1305/ndjfl/1093957573zbMath0133.25805OpenAlexW2009849676WikidataQ114598188 ScholiaQ114598188MaRDI QIDQ2395758
Publication date: 1963
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093957573
Related Items
Paths to triviality, One step is enough, Logical consequence and the paradoxes, 2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, Variations on a theme of Curry, A positive set theory with equality revisited, On a positive set theory with inequality, Toward useful type-free theories. I