1. Aigner, M., Ziegler, G.M.: Proofs from the Book, 2nd ed. Springer, Berlin (2000)
2. Arana, A., Mancosu, P.: On the relationship between plane and solid geometry. Rev. Symb. Logic 5(2), 249–353 (2012)
3. Avigad, J.: Mathematical method and proof. Synthese 193(1), 105–159 (2006)
4. Baumgart, O.: Ueber das quadratische Reciprocitätsgesetz. Eine vergleichende Darstellung der Beweise. Dissertation, U. Göttingen. Zeitschrift Math. Phys. 30 (1885)
5. Bullen, P.S., Mitrinović, D.S., Vasić, Means and Their Inequalities. D. Reidel, Dordrecht et al. (1988)