A negation-free proof of Cantor's theorem
From MaRDI portal
Publication:2565993
DOI10.1305/ndjfl/1117755152zbMath1082.03046OpenAlexW2004983205MaRDI QIDQ2565993
Publication date: 28 September 2005
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1117755152
Philosophical and critical aspects of logic and foundations (03A05) Other classical set theory (including functions, relations, and set algebra) (03E20) Complexity of proofs (03F20)
Cites Work
This page was built for publication: A negation-free proof of Cantor's theorem