m

F Nous contacter

0

Documents  03-06 | enregistrements trouvés : 134

O

-A +A

P Q

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


ISBN 978-0-444-86465-9

Studies in logic and the foundations of mathematics , 0108

Localisation : Colloque 1er étage (PRAG)

addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de scission universelle # relation d'équivalence # réel en singleton # structure de coeur # système présenté inductivement # ultra filtre # union de ZF-modèle addition et multiplication # arithmétique de Peano # classe d'équivalence # degré de Turing # degré de table de vérité # décomposabilité forte # extension intuitioniste des réels # formalisation de méta- mathématique # groupe éléminable de quantificateur # idéal saturé # induction transfinie # limite de la connaissance mathématique # logique symbolique # mathématique constructive # modèle récursivement saturé # principe de Silver # propriété de ...

03-06 ; 03Fxx

... Lire [+]

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


ISBN 978-0-444-86417-8

Studies in logic and the foundations of mathematics , 0107

Localisation : Colloque 1er étage (MARS)

arbre homogène # digraphe # dilatateur récursif # déduction # ensemble de Borel # ensemble dénombrable récursivement # foncteur # hiérarchie projective ou analytique # itération d'admissibilité # jardin # logique du premier ordre # logique mathématique # logique symbolique # modèle # ordinal de Bachmann Howard # polynome en somme de carré # propriété locale ou non locale # théorie de la preuve # théorie des nombres # théorie superstable # théorème de Girard # théorème de Herbrand # théorème de Ramsey # théorème de finitude # vérité arbre homogène # digraphe # dilatateur récursif # déduction # ensemble de Borel # ensemble dénombrable récursivement # foncteur # hiérarchie projective ou analytique # itération d'admissibilité # jardin # logique du premier ordre # logique mathématique # logique symbolique # modèle # ordinal de Bachmann Howard # polynome en somme de carré # propriété locale ou non locale # théorie de la preuve # théorie des nombres # théorie superstable # ...

03-06 ; 03Fxx

... Lire [+]

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


ISBN 978-951-41-0352-0

Localisation : Congrès internationaux 1er étage

algèbre # algèbre de Von Neumann # analyse micro-locale # fonction l # fondement des mathématiques # géométrie # logique mathématique # théorie des nombres # topologie

00Bxx ; 03-06 ; 11-06 ; 51-06 ; 54-06

... Lire [+]

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


ISBN 978-0-444-86706-3

Studies in logic and the foundations of mathematics , 0111

Localisation : Colloque 1er étage (SING)

analyse non standard # axiome du choix # cardinal grand séquentiellement # combinatoire à valeur booléenne # ensemble # forcing # indécidabilité # manifestation d'attribut # matroide # méthode axiomatique # orthologique # quantification de Henkin # structure # système formel # théorie de la récursion # théorie des modèles # théorème d'approximation de Barwise # équivalence récursive

03-06 ; 03Dxx

... Lire [+]

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

- 229 p.

Proceedings of the Steklov institute of mathematics , 0098

Localisation : Collection 1er étage

03-06

... Lire [+]

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

- 274 p.
ISBN 978-0-8218-3033-8

Proceedings of the Steklov institute of mathematics , 0133

Localisation : Collection 1er étage

01A70 ; 03-03 ; 03-06 ; 04-03 ; 20-03

... Lire [+]

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


ISBN 978-0-8218-1425-3

Proceedings of symposia in pure mathematics , 0025

Localisation : Collection 1er étage

03-02 ; 03-06 ; 03Exx

... Lire [+]

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


ISBN 978-0-444-86876-3

Studies in logic and the foundations of mathematics , 0112

Localisation : Colloque 1er étage (FLOR)

NP # PA # logique # modèle de lambda calcul # modèle lambda filtre # modèle nonstandard de l'arithmétique # objet non-constructif # phrase logique # problème de décision # saturation forte # structure de type étendu # sémantique à valeur Heyting # théorie des modèles en informatique théorique # théorème d'interpolation de Craig # vérité continue

03-06 ; 03C35 ; 03C40 ; 03Cxx ; 03H15

... Lire [+]

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

- 407 p.
ISBN 978-0-387-15236-3

Lecture notes in mathematics , 1130

Localisation : Collection 1er étage

03-06 ; 03Bxx ; 03Dxx ; 03Exx

... Lire [+]

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

Publications mathématiques de l'université Paris VII , 0019

Localisation : Publication 1er étage

codage des ordres dénombrables # complexité algorithmique # corps # espace polonais # géométrie des espaces de Banach # logique du premier ordre # logique stationnaire # méthode de priorité # théorie de la classification # théorie des modules # échelle des grands cardinaux

03-02 ; 03-06 ; 03Cxx ; 03D15 ; 68Q25

... Lire [+]

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

- 494 p.
ISBN 978-0-7204-2233-7

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (BERK)

algèbre cylindrique # algèbre de Boole # catégorie algébrique # foncteur algbrique # forcing # géométrie elliptique # insolvabilité # mathématique non-archimédienne # mesure de Haar # système de Lewis # théorie algébrique # théorie de la définition # théorie des ensembles de Godel-Bernays # théorie des modèles # théorie quantique

03-06 ; 03Cxx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (HANN)

03-06 ; 03Bxx ; 03C60 ; 03Dxx ; 03Gxx

... Lire [+]

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

Studies in logic and the foundations of mathematics

Localisation : Colloque 1er étage (OXFO)

03-06 ; 03D05 ; 03Dxx

... Lire [+]

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


ISBN 978-0-444-85423-0

Studies in logic and the foundations of mathematics , 0104

Localisation : Colloque 1er étage (HANN)

biologie # fondement # histoire # linguistique # logique # mathématique # méthodologie # philosophie de la science # probabilité et induction # psychologie # récursion et informatique # science physique # science sociale # théorie axiomatique des ensembles # théorie de la preuve # théorie des modèles # éthique de la science

00A30 ; 03-02 ; 03-06 ; 03A05 ; 03Dxx

... Lire [+]

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


ISBN 978-951-95054-8-0

Acta philosophica fennica , 0035

Localisation : Colloque 1er étage (MOSC)

03-06 ; 03Bxx ; 03Cxx

... Lire [+]

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

Localisation : Colloque 1er étage (COLU)

00A30 ; 03-06 ; 03A05

... Lire [+]

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


ISBN 978-0-444-87999-8

Studies in logic and the foundations of mathematics , 0120

Localisation : Colloque 1er étage (MANC)

axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles

03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10

... Lire [+]

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

- 599 p.
ISBN 978-90-6196-213-7

Mathematical centre tracts , 0136

Localisation : Collection 1er étage

analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

... Lire [+]

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

- 322 p.
ISBN 978-90-6196-211-3

Mathematical centre tracts , 0135

Localisation : Collection 1er étage

analyse linguistique # épistemologie # informatique # intelligence artificielle # langage formel # logique # preuve # résolution de problème

03-06 ; 03A05 ; 03B15 ; 03B45 ; 03B50

... Lire [+]

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

Publications mathematiques de l'universite paris vii , 0027

Localisation : Publication 1er étage

logique

03-02 ; 03-06

... Lire [+]

Z