Studies on the axiom of comprehension
From MaRDI portal
Publication:2395758
DOI10.1305/ndjfl/1093957573zbMath0133.25805WikidataQ114598188 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
2003 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquim '03, A positive set theory with equality revisited, Variations on a theme of Curry, Toward useful type-free theories. I