Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- v; 101 p.
ISBN 978-1-4704-2657-6
Memoirs of the American Mathematical Society , 1187
Localisation : Collection 1er étage
mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène
03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xxviii; 855 p.
ISBN 978-0-387-95567-4
Theory and applications of computability
Localisation : Ouvrage RdC (DOWN)
algorithmique # théorie de l'information # informatique #
complexité de Kolmogorov # théorie de la récurrence
03D25 ; 03D30 ; 03D80 ; 68Q30 ; 68-99 ; 03D32
... Lire [+]
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.
- xv; 214 p.
ISBN 978-981-4612-61-6
Lecture notes series , 0028
Localisation : Ouvrage RdC (HIRS)
ensemble récursif # mathématiques inversées # théorème de Ramsey # ensemble stable # ensemble cohérent # WKL # lemme de König # arbre # ordre # chaîne # ensemble libre # ensemble maigre # ensemble générique # RCA
03-02 ; 03B30 ; 03F35 ; 03D30 ; 03D80 ; 03E05 ; 05D10
... Lire [+]
