Gerer mes favoris
q
Congrès
Cote : M/A1(859) ISBN/ISSN : 3-540-10708-8
logique ; logique algébrique ; mathématique constructive ; modèle ; récurrence
... Lire [+]
Cochez un dossier pour ajouter l'enregistrement à vos favoris. Décochez-le pour l'en enlever.
4
Cote : M/A1(72)
ensemble admissible ; langage infinitaire ; logique infinitaire
Monographie
Cote : M/A23(104) ISBN/ISSN : 0-8218-5111-X
catégorie ; modèle ; topose
