| Titre : |
Logique mathématique : 1. Calcul Propositionnel, algèbre de Boole, Calcul des prédicats |
| Type de document : |
texte imprimé |
| Auteurs : |
René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. |
| Editeur : |
Paris : Dunod |
| Année de publication : |
DL 2003 |
| Collection : |
Sciences sup |
| Importance : |
1 vol. (XV-385 p.) |
| Présentation : |
couv. ill. en coul |
| Format : |
24 cm |
| ISBN/ISSN/EAN : |
978-2-10-082514-1 |
| Langues : |
Français (fre) |
| Mots-clés : |
C C B B |
| Résumé : |
Dans 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. |
| Permalink : |
./index.php?lvl=notice_display&id=21454 |
Logique mathématique : 1. Calcul Propositionnel, algèbre de Boole, Calcul des prédicats [texte imprimé] / René Cori, Auteur ; Daniel Lascar, Auteur ; Jean-Louis Krivine, Préfacier, etc. . - Paris : Dunod, DL 2003 . - 1 vol. (XV-385 p.) : couv. ill. en coul ; 24 cm. - ( Sciences sup) . ISBN : 978-2-10-082514-1 Langues : Français ( fre)
| Mots-clés : |
C C B B |
| Résumé : |
Dans 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. |
| Permalink : |
./index.php?lvl=notice_display&id=21454 |
|  |
