F. G. Lerda, Biomathematics and Related Computational Problems, 1988, 497
Nicoletta Sabadini, Sebastiano Vigna, Robert F. C. Walters, “A note on recursive functions”, Math. Struct. Comp. Sci., 6, no. 2, 1996, 127
Igor’ Kontorovich, “Minding mathematicians’ discourses in investigations of their feedback on students’ proofs: a case study”, Educ Stud Math, 107, no. 2, 2021, 213
Vladimir A. Uspensky, “Kolmogorov and mathematical logic”, J. symb. log., 57, no. 2, 1992, 385
John P. Burgess, “Dummett's case for intuitionism”, History and Philosophy of Logic, 5, no. 2, 1984, 177
B. Mazur, “Questions of decidability and undecidability in Number Theory”, J. symb. log., 59, no. 2, 1994, 353
J. A. Bergstra, M. Broy, J. V. Tucker, M. Wirsing, 118, Mathematical Foundations of Computer Science 1981, 1981, 193
Kenji Tokuo, “Fungibility in Quantum Sets”, Axiomathes, 29, no. 3, 2019, 297
Graciela Domenech, Federico Holik, Décio Krause, “Q-spaces and the Foundations of Quantum Mechanics”, Found Phys, 38, no. 11, 2008, 969
Yuri I. Manin, Introduction to the Theory of Schemes, 2018, 1