1. [Antonelli-May, 2005] Aldo ANTONELLI and ROBERT MAY, “Frege’s other program”, Notre Dame Journal of Formal Logic, Vol. 46 (1), p.1-17,2005
2. [Banaschewski & Moore, 1990] Bernhard BANASCHEWSKI & Gregory H. Moore, “The Dual Cantor-Bernstein Theorem and the Partition Principle”, Notre-Dame Journal of Formal Logic, vol. 31, Number 3, 1990
3. [Birkhoff, 1948] Garrett BIRKHOFF, Lattice Theory, Colloquium publications, Volume 25, American Mathematical Society, 1948
4. [Boolos, 1987] George S. BOOLOS, “The consistency of Frege’s Foundations”, in On Being and Saying: Essays in Honor of Richard Cartwright, J. Thomson (ed.), MIT Press, Cambridge MA, 1987, p.3-20
5. [Burali-Forti, 1896] Cesare BURALI-FORTI, “Le classi finite”, Atti dell’Academia delle Scienze di Torino, Classe di Scienze Fisiche,Matematiche e Naturale, vol. 32, 1896, p.34-52