1. Barbeau, E. (2003). Pell’s equation. New York: Springer.
2. Barner, K. (2001). Das Leben Fermats. DMV Mitteilungen, 3, 12–26.
3. Bellissima, F., & Pagli, P. (1996). Consequentia mirabilis: una regola logica tra matematica e filosofia. Olschki: Firenze.
4. Boucard, J. (2014). Joseph-Louis Lagrange e il teorema dei quattro quadrati. Lettera Matematica Pristem, 88(89), 59–69.
5. Brotherston, J., Simpson, A. (2007). Complete Sequent Calculi for Induction and Infinite Descent. In Proceedings of logic in computer science. 22nd annual IEEE symposium on logic in computer science (LICS 2007) (pp. 51-62). Los Alamos: IIEE.