Sciences pures
| Titre Éditeur/Auteur/Collection |
Informations | Couverture |
|---|---|---|
Titre : Calcul en logique du premier ordre
Éditeur : Presses de l'Université du Québec |
Langue : Français |
|