Lopez-Escobar, E. G. K. SETS, CLASSES AND THE PROPOSITIONAL CALCULUS. Manuscrito - Rev. Int. Fil. 2016, 28, 417-448.