TY  - JOUR
AU  - A. E. Gutman
AU  - G. A. Losenkov
TI  - Function Representation of the~Boolean-Valued Universe
JO  - Matematičeskie trudy
PY  - 1998
SP  - 54
EP  - 77
VL  - 1
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/MT_1998_1_1_a2/
LA  - ru
ID  - MT_1998_1_1_a2
ER  -