bernard-viguier documents

Calcul propositionnel Logique - 1. Vers une interprétation « concrète » Le système formel, que nous appellerons calcul booléen, a reçu une interprétation
Documents Calcul propositionnel Logique - 1. Vers une interprétation « concrète » Le système formel, que nous appellerons calcul booléen, a reçu une interprétation