Boolean-valued model

From Free net encyclopedia