Boolean valued analysis - Kusraev, Anatolij G.; Kutateladze, Semen S. 1945- (Kluwer Acad. Publ., 1999)
Aus dem Russ. übers.