TY - JOUR AU - Čuda, Karel TI - A nonstandard set theory JO - Commentationes Mathematicae Universitatis Carolinae PY - 1976 SP - 647 EP - 663 VL - 17 IS - 4 UR - http://geodesic.mathdoc.fr/item/CMUC_1976_17_4_a2/ LA - en ID - CMUC_1976_17_4_a2 ER -