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, № 2, 1996, 127
Igor’ Kontorovich, “Minding mathematicians’ discourses in investigations of their feedback on students’ proofs: a case study”, Educ Stud Math, 107, № 2, 2021, 213
Vladimir A. Uspensky, “Kolmogorov and mathematical logic”, J. symb. log., 57, № 2, 1992, 385
John P. Burgess, “Dummett's case for intuitionism”, History and Philosophy of Logic, 5, № 2, 1984, 177
B. Mazur, “Questions of decidability and undecidability in Number Theory”, J. symb. log., 59, № 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, № 3, 2019, 297
Graciela Domenech, Federico Holik, Décio Krause, “Q-spaces and the Foundations of Quantum Mechanics”, Found Phys, 38, № 11, 2008, 969
Yuri I. Manin, Introduction to the Theory of Schemes, 2018, 1