1. Church, A. (1976). Comparison of Russell’s resolution of the semantical antinomies with that of Tarski. The Journal of Symbolic Logic, 41:747–760.
2. Church, A. (1984a). Comparison of Russell’s resolution of the semantical antinomies with that of Tarski. In R. L. Martin (Ed.), Recent Essays on Truth and the Liar Paradox (pp. 289–306). Oxford: Oxford University Press.
3. Church, A. (1984b). Russell’s theory of identity of propositions. Philosophia Naturalis, 21:513–522.
4. Hardy, G. H. (1911). The new symbolic logic. Times Literary Supplement, 504:321–322.
5. Hazen, A., & Davoren, J. (2000). Russell’s 1925 logic. Australas. J. Philos., 78(4), 534–556.