GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Jean-Claude Laleuf |
Documents disponibles écrits par cet auteur (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Michel Gondran, Auteur ; Jean-François Héry, Auteur ; Jean-Claude Laleuf, Auteur | Paris : Eyrolles | Direction des études et recherches d'Electricité de France, ISSN 0399-4198 | 1995Expose des notions générales de logique mathématique : la consistance des modèles, la comptabilité des données avec deux formalismes fondamentaux : la logique des propositions et la logique des prédicats (calcul booléen...).