Andrea Formisano, Eugenio G Omodeo, Alberto Policriti, “Three-variable statements of set-pairing”, Theoretical Computer Science, 322, № 1, 2004, 147
Paola D’Aquino, Angus Macintyre, “Non-standard finite fields overIΔ0+Ω1”, Isr. J. Math., 117, № 1, 2000, 311
Eugenio G. Omodeo, Alberto Policriti, “Solvable set/hyperset contexts: I. Some decision procedures for the pure, finite case”, Comm Pure Appl Math, 48, № 9, 1995, 1123
Vladan Babovic, Michael B. Abbott, “The evolution of equations from hydraulic data Part II: Applications”, Journal of Hydraulic Research, 35, № 3, 1997, 411
Décio Krause, 290, Brazilian Studies in Philosophy and History of Science, 2011, 257
Jan A. Bergstra, John V. Tucker, “Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero”, J of Log Lang and Inf, 2024
Décio Krause, “On the Received View Versus the Alternative View Controversy About Quantum (Non)individuality”, Found Sci, 2025
William J. Rapaport, “How to Pass a Turing Test”, Journal of Logic, Language and Information, 9, № 4, 2000, 467
Eric J. Knuth, “Teachers' Conceptions of Proof in the Context of Secondary School Mathematics”, Journal of Mathematics Teacher Education, 5, № 1, 2002, 61
Paul Ernest, “Forms of Knowledge in Mathematics and Mathematics Education: Philosophical and Rhetorical Perspectives”, Educational Studies in Mathematics, 38, № 1-3, 1999, 67