Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- xi; 341 p.
ISBN 978-0-521-71820-2
London mathematical society lecture note series , 0379
Localisation : Collection 1er étage
logique # modèle fini # modèle algorithmique # théorie des modèles
03-06 ; 03C07 ; 03C13 ; 00B25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 374 p.
ISBN 978-2-10-005453-4
Localisation : Enseignement RdC (CORI)
logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles
03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 146 p.
ISBN 978-0-19-853186-9
Oxford logic guides , 0008
Localisation : Ouvrage RdC (PILL)
catégoricité # logique # théorie de la classification # théorie de la stabilité # théorie des catégories # théorie des modèles # théorie mathématique, logique # théorème de Baldwin-Lachlan # théorème de Morley
03C07 ; 03C35 ; 03C45 ; 03C60 ; 03Cxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 584 p.
ISBN 978-2-9500919-0-1
Nur al-mantiq wal-ma'rifah¶ , 0001
Localisation : Ouvrage RdC (POIZ)
théorie des modèles # logique mathématiques
03-01 ; 03-02 ; 03C45 ; 03C07
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 362 p.
ISBN 978-0-805-39272-2
Localisation : Ouvrage RdC (THOM)
bifurcation # biologie # différentiation # entropie microcanonique # morphogénèse # stabilité structurelle # théorie des catastrophes # théorie des modèles
00A30 ; 03C07 ; 03C45 ; 03Cxx ; 58C28
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- x; 263 p.
ISBN 978-1-4471-4557-8
Universitext
Localisation : Ouvrage RdC (VAND)
logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit
03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20
... Lire [+]
