1. Sur certaines hiérarchies de calculs propositionnels;Arruda;C. R. Acad. Sc Paris,1967
2. Sur le schéma de la séparation;Arruda;Nagoya Math. Journal,1970
3. Logic of Antinomies;Asenjo;Notre Dame Journal of Formal Logic,1975
4. A Bibliography of Symbolic Logic;Church;The Journal of Symbolic Logic,1936
5. Review of V. A. Smirnov 1962;Comey;The Journal of Symbolic Logic,1965