Accueil
On the possibility to use the subtractive calculus for the formalization of constructive theories
|
Exemplaires(0)
| Disponibilité | |||||
|---|---|---|---|---|---|
| aucun exemplaire | |||||
Accueil
On the possibility to use the subtractive calculus for the formalization of constructive theoriesBibliothèque du Séminaire Notre-Dame de Namur
Nous attirons votre attention sur le fait que le catalogue est en cours d'informatisation. Toutes les données ne figurent donc pas dans ce système. Une consultation des fiches sur place est donc toujours indispensable.
Accueil
Se connecter
Adresse
Bibliothèque du Séminaire Notre-Dame de NamurRue du Séminaire, 11b
5000 NAMUR
Belgique
081 25 64 72
bibliotheque@seminairedenamur.be
La bibliothèque du Séminaire de Namur est ouverte tous les jours de 09h30 à 17h00, le samedi de 09h30 à 12h (fermée les samedis de juillet et août).