Investigations on a comprehesnion axiom without negation in the defining propositional functions
From MaRDI portal
Publication:2625695
DOI10.1305/ndjfl/1093956425zbMath0116.01002WikidataQ114598206 ScholiaQ114598206MaRDI QIDQ2625695
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
A remark on a comprehension axiom without negation, Thoralf Skolem in memoriam (1887-1963), Variations on a theme of Curry, Positive abstraction and extensionality