NantilusLogiques construites par une méthode de déduction naturelle...
Enregistré dans:
| Auteur principal : | |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Logiques construites par une méthode de déduction naturelle... |
| Publié : |
Louvain, Paris :
E. Nauwelaert
, 1962 Gauthier-Villars |
| Description matérielle : | 192 p. |
| Collection : | Collection de logique mathématique ; 3 |
| Titre de l'ensemble : | Collection de logique mathématique vol. 3 |
| Sujets : |
BU Censive
| | Cote | Année | Prêt | Statut |
|---|---|---|---|---|
| Bât. Censive, 1er étage, salle 111 | L DOP (1332) | Empruntable | Disponible | |
| Bât. Censive, 1er étage, salle 111 | L 9255 | Salle 246 | Empruntable | Disponible |
BU Lettres
| | Cote | Année | Prêt | Statut |
|---|---|---|---|---|
| Document à demander aux points d'accueil | S 113 (2) (3) | Empruntable | Disponible |