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
Monographie
Cote : M/A4(854) ISBN/ISSN : 0-8218-3885-7
équation récurrente ; ensemble récursivement énumérable ; final
Cote : M/A4(241) ISBN/ISSN : 0-8218-2241-1
récurrence
Cote : M/A1(759) ISBN/ISSN : 3-540-09710-4
logique ; mathématique constructive ; récurrence
