Raisonnement et calcul. Actes du colloque, Neuchâtel 24-25 juin 1993 - Miéville, Denis (My University, 1995)