-
38
pages
-
Français
-
Documents
-
2010
Description
Formules et sequents Positions Coups Formalisation La theorie de MALL Coupures Mon deuxieme jeu logique: MALL Dedou Janvier 2010
- definir des connecteurs binaires
- deuxieme jeu logique
- theorie de mall coupures
- connecteurs d'arite variable
- formule
-
Publié par
-
Publié le
01 janvier 2010
-
Langue
Français