2.8 Truth Sets, A link between Set Theory and Logic. 

PCTB English