https://www.illc.uva.nl/Research/Publications/Publications-by-year/publication/3817/Formalizability-and-Knowledge-Ascriptions-in-Mathematical-Practice
Formalizability and Knowledge Ascriptions in Mathematical Practice | Institute for Logic, Language...
institute forknowledge