m

Documents  Critères de recherche : "Boolean-valued models and independence proofs in set theory" | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 126 p.
ISBN 978-0-19-853168-5

Oxford logic guides

Localisation : Ouvrage RdC (BELL)

algèbre Booléen # axiome du choix # logique algébrique # modèle d'algèbre à valeur booléenne # théorie des ensembles

03Exx ; 03G05

... Lire [+]

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

- 158 p.
ISBN 978-0-19-853241-5

Oxford logic studies , 0012

Localisation : Ouvrage RdC (BELL)

logique mathématique et base # modèle Booléen-évalué # résultat d'uniformité et d'indépendance

03E40 ; 03-02 ; 03E35

... Lire [+]

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

- xxii-191 p.
ISBN 978-0-19-960916-1

Oxford logic guides , 0047

Localisation : Ouvrage RdC (BELL)

logique mathématique # axiome de choix # algèbre de Heyting # algèbre booléenne # consistance # indépendance # hypothèse du continuum # axiome de Martin # problème de Souslin

03E40 ; 03-02 ; 03C90 ; 03E35 ; 03E50 ; 03E25

... Lire [+]

Z