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.

- 307 p.

Localisation : Ouvrage RdC (Appl)

modèle # algèbre # analyse # probabilité # nombre non standard # analyse non standard # probabilité non standard # nombre réel non standard # topologie algébrique non standard # intégration non standard # modèle booléen

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.


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.

- 275 p.
ISBN 978-0-8218-2822-9

Contemporary mathematics , 0296

Localisation : Collection 1er étage

théorie des groupes # théorie combinatoire des groupes # théorie géométrique des groupes # point fixe # groupe libre automorphe # limite de groupes hyperboliques # surface de Riemann compact

20-XX ; 57Mxx ; 03Cxx

... Lire [+]

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


ISBN 978-3-540-61434-0

Lecture notes in logic , 0006

Localisation : Colloque 1er étage (BRUN)

Gödel # calcul # cosmologie # fondement logique des mathématiques # informatique # philosophie de la logique mathématique # physique # théorie de la récursion # théorie des ensembles # théorie des modèles # épistémologie

03A05 ; 03Bxx ; 03Cxx ; 03Dxx ; 03Exx

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

- 514 p.
ISBN 978-3-540-60178-4

Lecture notes in computer science , 0960

Localisation : Collection 1er étage

lambda calcul # logique de l'informatique # oméga-régularité # programmation logique # système logique # sémantique # théorie de la preuve # théorie des catégories # théorie des modèles finis

03Cxx ; 03Fxx

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


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.

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

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

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.

- 150 p.
ISBN 978-3-642-11119-8

CIME summer schools , 0069

Localisation : Colloque 1er étage (BRES)

logique # théorie des modèles

03-06 ; 03Cxx ; 00B25

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

- 419 p.
ISBN 978-0-521-63550-9

London mathematical society lecture note series , 0259

Localisation : Collection 1er étage

arithmétique # logique # model de calcul # théorie de preuve # théorie des ensembles

03-06 ; 03B48 ; 03Bxx ; 03Cxx ; 03Exx ; 03Fxx

... 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 [+]

Z