Rudimentos de lógica matemática

Madrid: CSIC, 1991

A contradictorial system of logic is developed along the stages of sentential and quantification calculus. A nonstandard set theory (theory of cumuli, or clusters) is  thereupon constructed as an alternative to stratified  or founded set theories.