Eastern Model-Theory for Boolean-Valued Theories. - George Georgescu; Iana Voiculescu (Math. Log. Q., 1985)