Visitor

Views

Proposition de plan pour la partie

Logique propositionnelle : ... Axiomatisation et dérivation en logique
propositionnelle ... Conclusion : les limites -> ouverture vers la logique du
premier ordre.

Part of the document