BIBLIOTHEQUE CENTRALE
Logique et démonstration automatique : introduction ? la logique propositionnelle et ? la logique du premier ordre
|
Exemplaires (1)
| Code-barres | Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|---|
| 12/195100 | L/511.007 | Livre | Bibliothèque Centrale | indéterminé | Exclu du prêt |
