Studies on the axiom of comprehension
From MaRDI portal
Publication:2395758
DOI10.1305/ndjfl/1093957573zbMath0133.25805OpenAlexW2009849676WikidataQ114598188 ScholiaQ114598188MaRDI QIDQ2395758
No author found.
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 (8)
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
This page was built for publication: Studies on the axiom of comprehension