m

F Nous contacter

0

Documents  03C07 | enregistrements trouvés : 9

O
     

-A +A

P Q

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.

- xx; 466 p.
ISBN 978-88-7999-411-8

Quaderni di matematica , 0011

Localisation : Colloque 1er étage (RAVE)

théorie des modèles # logique # théorie des nombres # théorie des groupes # théorie des corps

20E08 ; 05C25 ; 03C64 ; 03C60 ; 03C10 ; 20F60 ; 20E32 ; 20D05 ; 03C45 ; 20A15 ; 03C07 ; 03C98 ; 32B05 ; 12F10 ; 03C20 ; 11G25 ; 11G10 ; 11U09 ; 14G15 ; 20G15 ; 22E30 ; 12H05 ; 12L12 ; 30D60 ; 58A17 ; 20E42 ; 14K15 ; 03-06 ; 00B25 ; 11-06 ; 12-06 ; 20-06

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xx; 649 p.
ISBN 978-2-91-635240-4

Tableau noir

Localisation : Ouvrage RdC (DEHO)

théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

... Lire [+]

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.

- 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 [+]

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.

- 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.

- 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.

- 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 [+]

Z