Julien Boyer

with Sandu, P.-G. , 2012, 'Between proof and truth', Synthese 187 (3), 821-832.