Designing a calculational proof of Cantor's theorem

Authors
Dijkstra, EW Misra, J
Citation
Ew. Dijkstra et J. Misra, Designing a calculational proof of Cantor's theorem, AM MATH MO, 108(5), 2001, pp. 440-443
Categorie Soggetti
Mathematics
Journal title
AMERICAN MATHEMATICAL MONTHLY
ISSN journal
00029890 → ACNP
Volume
108
Issue
5
Year of publication
2001
Pages
440 - 443
Database
ISI
SICI code
0002-9890(200105)108:5<440:DACPOC>2.0.ZU;2-D