Comparison of Russell’s resolution of the semantical antinomies with that of Tarski (1976)

by A Church
Venue:The Journal of Symbolic Logic