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 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/CMUC_1976__17_4_a2/ LA - en ID - CMUC_1976__17_4_a2 ER -