GEOTRUST SSL CERTIFICATE
Détail de l'auteur
Auteur Luisa Iturrioz |
Documents disponibles écrits par cet auteur (1)
![](./images/expand_all.gif)
![](./images/collapse_all.gif)
![Tris disponibles](./images/orderby_az.gif)
![]()
texte imprimé
Luisa Iturrioz, Éditeur scientifique ; Alain Dussauchoy, Éditeur scientifique | Paris : Hermès science publications | 1989Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.