Objectivity, realism, and proof FilMat studies in the philosophy of mathematics - Boccuni, Francesca; Sereni, Andrea (Boston studies in the philosophy and history of science, 2016)