Détail de l'auteur
Auteur Jean-Louis Krivine (1939-..) |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche Interroger des sources externes
texte imprimé
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. | Paris : Dunod | Sciences sup | DL 2003Dans ce premier tome, les auteurs présentent successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude.Nouveauté