Formalizability and knowledge ascriptions in mathematical practice

2009

Eva Müller-Hill

Philosophia Scientiae 13 (2)