Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 197 p.
ISBN 978-1-107-01451-0
Lecture notes in logic
Localisation : Ouvrage RdC (EFFE)
théorie des modèles # algèbre commutative # algèbre différentielle # théorie des graphes # théorie des ensembles
03-06 ; 03B30 ; 03C57 ; 03Dxx ; 03E15 ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 222 p.
ISBN 978-0-691-19966-5
Annals of mathematics studies , 0206
Localisation : Ouvrage RdC (DOWN)
logique mathématique # théorie de la calculabilité # caractère aléatoire algorithmique # degré de Turing # ensemble fermé # théorie des structures efficaces
03-02
... Lire [+]
