Pages that link to "Item:Q1942044"
From MaRDI portal
The following pages link to Cantor theorem and friends, in logical form (Q1942044):
Displaying 4 items.
- A negation-free proof of Cantor's theorem (Q2565993) (← links)
- Designing a Calculational Proof of Cantor's Theorem (Q2730836) (← links)
- Formalization of Formal Topology by Means of the Interactive Theorem Prover Matita (Q5200125) (← links)
- An Intuitionistic Version of Cantor's Theorem (Q5687407) (← links)