Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

La logique classique

De
16 pages
Sequents classiques Dedou Janvier 2012

  • ordre des formules

  • formule active au bout

  • sequents classiques

  • jeu de regles

  • regle

  • regle structurelle d'affaiblissement

  • presentation correspondante


Voir plus Voir moins
S´equents
classiques
D´edou
Janvier
2012
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin