An examination of the theory of types as a solution to the paradoxes - Encarnacion, Jose 1928- (1954)