GEOTRUST SSL CERTIFICATE
Détail d'une collection
|
Documents disponibles dans la collection (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Paul Gochet, Auteur ; Pascal Gribomont, Auteur ; André Thayse, Auteur | Paris : Hermès science publications | Langage, cognition, calcul | 2000Présentation des systèmes axiomatiques des principales logiques modales pour le calcul de propositions et de prédicats et des sémantiques associées. Développement de la métathéorie de ces systèmes, description de preuves de complétude et de la t[...]