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 II: a Cantor User's Guide.
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 II: a Cantor User's Guide.
Size 3.7 MB - File type application/pdf