J.-P. Keller. Cantor: a Tutorial and a User's Guide (prototyping, set theory and all that). Technical report, Kepler, Paris, December 1994. Two volumes. Volume I: a Cantor Tutorial.
J.-P. Keller. Cantor: a Tutorial and a User's Guide (prototyping, set theory and all that). Technical report, Kepler, Paris, December 1994. Two volumes. Volume I: a Cantor Tutorial.
Size 2.6 MB - File type application/pdf