m

Documents  02C15 | enregistrements trouvés : 5

O
     

-A +A

P Q

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

- 183 p.
ISBN 978-0-8218-3021-5

Proceedings of the Steklov institute of mathematics , 0121

Localisation : Collection 1er étage

02B10 ; 02C15 ; 02G05 ; 02G99 ; 68A40

... Lire [+]

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


ISBN 978-3-540-05569-3

Lecture notes in mathematics , 0337

Localisation : Collection 1er étage

arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de priorité pour construction d'ensemble dénombrable # nombre chromatique de graphe et système d'ensemble # ordinal admissible et argument de priorité # relation régulière de Lindström # réalisabilité de combinateur d'analyse du type fini construc # sentence de Vaught # somme maximum d'une famille d'ordinal # théorie arithmétique de construction # théorie des ensembles ZF intuintioniste # théorie des ensembles descriptive # théorie des modèles modale # théorème de préservation pouro interprétation # ultrafiltre complet en descendant arithmétique du second ordre intuitioniste # calculabilité abstraite contre généralité analogue # combinatoire infinitoire # filtre clos sous l'opération de Mahlo et Gaifman # implication effective entre axiome du choix fini # interprétation fonctionnelle # intuitionisme # logique mathématique # modèle dénombrable de théorie des ensembles # modèle pour négation d'axiome de choix # méthode de Kleene pour système intuitioniste # méthode de ...

03-02 ; 02C15 ; 03B40 ; 03F55 ; 03Dxx

... Lire [+]

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

- 137 p.
ISBN 978-90-6196-122-2

Mathematical centre tracts , 0073

Localisation : Collection 1er étage

logique formelle # logique predicative # théorie de la preuve

02C15 ; 03F99

... Lire [+]

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


ISBN 978-3-540-07164-8

Lecture notes in mathematics , 0445

Localisation : Collection 1er étage

catégorie interne # catégorie sémantique # classification # finitude # langage interne des topoi # logique et théorie des ensembles # sémantique de Kripke-Joyal # théorie de Horn abstraite # théorie des modèles # théorème de complétude pour catégorie logique # topos élémentaire # univers en topoi

02B15 ; 02C15 ; 02G20 ; 02H10 ; 02JXX

... Lire [+]

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

- 250 p.
ISBN 978-0-8218-3063-5

American mathematical society translations series 2 , 0113

Localisation : Collection 1er étage

03B05 ; 02C15 ; 08A05 ; 20C05 ; 20Mxx

... Lire [+]

Z