m

Documents  03Cxx | enregistrements trouvés : 90

O

-A +A

P Q

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

- 771 p.
ISBN 978-0-387-12335-6

Lecture notes in mathematics , 1006

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 13-06 ; 16A46 ; 20-04

... Lire [+]

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

- 410 p.
ISBN 978-0-387-10269-6

Lecture notes in mathematics , 0834

Localisation : Collection 1er étage

03Cxx

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

- 396 p.
ISBN 978-0-387-13900-5

Lecture notes in mathematics , 1103

Localisation : Collection 1er étage

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

... 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 (LEIC)

03Cxx ; 03Dxx ; 03Exx

... Lire [+]

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

- 326 p.
ISBN 978-3-540-10708-8

Lecture notes in mathematics , 0859

Localisation : Collection 1er étage

03Cxx ; 03Dxx ; 03F30 ; 03G30 ; 3-06

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


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.

- 431 p.
ISBN 978-3-540-11161-0

Lecture notes in mathematics , 0891

Localisation : Collection 1er étage

logique

03Cxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

... Lire [+]

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


ISBN 978-3-540-18674-8

Lecture notes in mathematics , 1292

Localisation : Collection 1er étage

classification # logique # systeme logique formel non classique # theorie des modeles

03Cxx

... Lire [+]

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

- 136 p.

Seminaire de mathematiques superieures , 0006

Localisation : Salle de manutention

logique mathematiques # theorie des modeles

03Cxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # logique # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # epistemologie # logique # logique formelle # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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

Localisation : Colloque 1er étage (SIEN)

algebre universelle # analyse non standard # logique # logique mathematique # recursivite # theorie de la demonstration

03-06 ; 03Cxx ; 03Dxx ; 03Fxx

... Lire [+]

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

- 1174 p.
ISBN 978-3-540-10849-8

Lecture notes in mathematics , 0872

Localisation : Collection 1er étage

algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles

03-06 ; 03-XX ; 03Cxx ; 03Exx

... Lire [+]

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

Localisation : Colloque 1er étage (BRES)

algèbre # application # construction # exponentielle généralisée # formule SH # groupe # théorie des modèles topologiques

03Cxx

... Lire [+]

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


ISBN 978-0-8405-0073-1

SMS , 0021

Localisation : Salle de manutention

grammaire à deux variables # grammaire à trois variables # grammaire à une variable # logique du premier ordre # modèle généralisé # modèle relativisé # modèle standard # relation d'égalité non-standard # relativisation # système déductif # système logique avec nombre fini de symboles # univers relativisé

03B10 ; 03B22 ; 03C13 ; 03Cxx ; 03D05

... Lire [+]

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

- 199 p.

Notas de logica matematica , 0039

Localisation : Salle de manutention

MMI indice 3 algèbre libre # RCEP infini # algèbre modale 4-valuée # compacité et compactification en théorie des modèles # discipline de type # fermeture pour algèbre de Heyting symétrique # langage de programmation # logique mathématique # logique vectorielle # métalogique # partition polarisée # principe logique et indépendance de contexte # quasi-variété d'algèbre de De Morgan # spectre et plongement pour groupe ordonné # théorie de la valuation MMI indice 3 algèbre libre # RCEP infini # algèbre modale 4-valuée # compacité et compactification en théorie des modèles # discipline de type # fermeture pour algèbre de Heyting symétrique # langage de programmation # logique mathématique # logique vectorielle # métalogique # partition polarisée # principe logique et indépendance de contexte # quasi-variété d'algèbre de De Morgan # spectre et plongement pour groupe ordonné # théorie de la ...

03-06 ; 03Cxx ; 06D20 ; 06D30 ; 68N15

... Lire [+]

Z