Contributions de 77.198.58.167
7 juin 2010
- 21:517 juin 2010 à 21:51 diff hist +27 Logique intuitionniste →Approche formelle
- 21:497 juin 2010 à 21:49 diff hist +35 Logique intuitionniste →Approche formelle : Correction d’un incohérence avec le reste de l’article (voir discussion)
- 21:457 juin 2010 à 21:45 diff hist +512 Discussion:Logique intuitionniste →Les trois connecteurs