m

Documents  Fraïssé, Roland | enregistrements trouvés : 10

O
     

-A +A

P Q

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

- 142 p.
ISBN 978-2-7606-1529-8

Séminaire de mathématiques supérieures , 109

Localisation : Salle de manutention

combinatoire # fonction des modèles # fondement de la logique # logique # relations # théorie des ensembles # théorie des graphes # théorie des modèles

03C15 ; 04A45 ; 05C60

... Lire [+]

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

- 84 p.
ISBN 978-0-8405-0080-9

SMS(Séminaire de Mathématiques Supérieures) , 0020

Localisation : Salle de manutention

algèbre logique # axiomatisabilité finie # extension et restriction logiques # formule logique # homogénéité logique # interprétabilité libre # isomorphisme local # multirelation # opérateur libre # prédicat # quanteur # relation homogène # relation monomorphe # relation riche # théorie des relations # âge

03B30 ; 03Gxx ; 04A05

... Lire [+]

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

- 451 p.
ISBN 978-0-444-50542-2

Studies in logic and the foundations of mathematics , 0145

Localisation : Ouvrage RdC (FRAI)

logique # combinatoire # théorie des relations # arbre # cofinalité # théorie axiomatique des ensembles # structure ordonnée # idéal # théorie de Ramsey # partition # chaîne # relation ordonnée # relation homogène # relation saturée # opérateur libre # système relationel # âge # orbite

03E20 ; 03-02 ; 03C15 ; 03E05 ; 05-02 ; 06A06 ; 08A02

... Lire [+]

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

- 181 p.

Collection de logique mathématique

Localisation : Ouvrage RdC (FRAI)

algèbre de relation # calcul logique # compacité # complétude # formule logique # logique mathématique # relation

03-XX

... Lire [+]

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

Collection de logique mathematique

Localisation : Ouvrage RdC (FRAI)

algebre de relation # calcul logique # logique # logique formelle

03-XX

... Lire [+]

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

Collection de logique mathematique

Localisation : Ouvrage RdC (FRAI)

axiomatique # logique formelle # logique mathematiques # theorie des modeles

03-XX

... Lire [+]

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

- 197 p.

Collection de logique mathématique

algèbre de relation # calcul logique # logique # logique formelle

03-XX

... Lire [+]

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

- pag. mult.

Collection de logique mathématique

Localisation : Ouvrage RdC (FRAI)

algèbre de relation # calcul logique # logique formelle

03-XX

... Lire [+]

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

- 134 p.
ISBN 978-2-04-004158-8

Logique mathématique série A , 0025

Localisation : Ouvrage RdC (FRAI)

logique mathématique # relation recursive # recusivité # constructibilité # théorème d'incomplétude # indecidabilité # constructibilité

03-01 ; 03Dxx ; 03Exx

... Lire [+]

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

- 154 p.

Localisation : Ouvrage RdC (FRAI)

logique mathématique # système de relation # épistémologie # relation # multirelation # prolongement # isomorphie # polyrelation

03-02 ; 03-XX ; 03Cxx ; 03Exx

... Lire [+]

Z