M. Hazewinkel, Encyclopaedia of Mathematics, 1994, 2
N. C. A. da Costa, F. A. Doria, “Undecidability and incompleteness in classical mechanics”, Int J Theor Phys, 30, no. 8, 1991, 1041
Lidia Obojska, “The Parthood of Indiscernibles”, Axiomathes, 29, no. 5, 2019, 427
Domenico Cantone, Eugenio G. Omodeo, 14070, From Computational Logic to Computational Biology, 2024, 9
Paulo Ribenboim, 13 Lectures on Fermat’s Last Theorem, 1979, 199
Dirk van Dalen, Logic and Structure, 1983, 203
Robert Coe, Kenneth Ruthven, “Proof Practices and Constructs of Advanced Mathematics Students”, British Educational Res J, 20, no. 1, 1994, 41
Bharath Sriraman, “Gifted Ninth Graders' Notions of Proof: Investigating Parallels in Approaches of Mathematically Gifted Students and Professional Mathematicians”, Journal for the Education of the Gifted, 27, no. 4, 2004, 267
D. Novikov, S. Yakovenko, “Tangential Hilbert problem for perturbations of hyperelliptic Hamiltonian systems”, Electron. Res. Announc. Amer. Math. Soc., 5, no. 8, 1999, 55
R. Kailar, “Accountability in electronic commerce protocols”, IIEEE Trans. Software Eng., 22, no. 5, 1996, 313