Reports

26/05/05 La Preuve en Mathematique, Univ. Lille III: Jean Petitot: Qu'est-ce qu'une preuve complexe? / Mark van Atten: Intuitionistic interpretations of hypothetical judgement

There are no relevant reports for this item