Investigations on a comprehesnion axiom without negation in the defining propositional functions
From MaRDI portal
Publication:2625695
DOI10.1305/ndjfl/1093956425zbMath0116.01002OpenAlexW1975839175WikidataQ114598206 ScholiaQ114598206MaRDI QIDQ2625695
No author found.
Publication date: 1960
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1093956425
Related Items (5)
Positive abstraction and extensionality ⋮ Paths to triviality ⋮ Thoralf Skolem in memoriam (1887-1963) ⋮ Variations on a theme of Curry ⋮ A remark on a comprehension axiom without negation
This page was built for publication: Investigations on a comprehesnion axiom without negation in the defining propositional functions
