Télécharger le livre :  Introduction aux calculs des séquents
Ajouter à ma liste d'envies
Manuel de logique moderne classique pour étudiants et chercheurs du supérieur, cet ouvrage présente la méthode du calcul des séquents (les groupes L). Celle-ci est une méthode de décision syntaxique ou une théorie de la démonstration utilisée par Joseph Dopp pour...

Editeur : Academia
Parution : 2024-01-30
Collection : Pédasup
PDF

11,99