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)