Documents

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

Prépublication de l'IRMA

Cote : M/A8(1995/013)

analyse non standard ; équation différentielle ; feuilletage

... Lire [+]

Sélection

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(31/2)

analyse non standard ; mathématique finitaire

... Lire [+]

Sélection

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

Publications mathématiques de l'Université Paris VII

Cote : M/A7(31/1)

analyse non standard ; mathématique finitaire

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1388)
ISBN/ISSN : 3-540-51527-5

logique

... Lire [+]

Sélection

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

Publication de l'IRMA : Université Louis Pasteur Strasbourg

Cote : M/A9(35)

analyse harmonique ; analyse non standard ; équation de Bethe-Salpeter ; opérateur de transition ; opérateur de Volterra ; perturbation singulière ; probabilité ; spectroscopie moléculaire ; vibration de symétrie

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1104)
ISBN/ISSN : 3-540-13901-X

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(1103)
ISBN/ISSN : 3-540-13900-1

ensemble ; logique algébrique ; modèle ; modèle non standard

... Lire [+]

Sélection

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

Publication de l'IRMA : Université Louis Pasteur Strasbourg

Cote : M/A8(222)

analyse non standard ; équation différentielle ; fonction différentiable ; forme de Pfaff ; optimisation ; perturbation singulière

... Lire [+]

Sélection

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

Lecture notes in mathematics

Cote : M/A1(891)
ISBN/ISSN : 3-540-11161-1

ensemble ; logique ; mathématique constructive ; modèle ; modèle non standard ; récurrence

... Lire [+]

Sélection

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

Cote : LUXEMBURG a

analyse non standard ; connexion ; modèle ; modèle non standard

... Lire [+]

Sélection

Documents 03Hxx 21 résultats

Colloque trajectorien : à la mémoire de Georges Reeb et Jean-Louis Callot Fruchard, Augustin ; Troesch, Albert ; Reeb, Georges ; Callot, Jean-Louis | Université Louis Pasteur 1995 Nouveau

Mathématiques finitaires et analyse non standard : Vol. 2 Diener, Marc ; Wallet, Guy | Université de Paris 7 1989 Nouveau

Mathématiques finitaires et analyse non standard : Vol. 1 Diener, Marc ; Wallet, Guy | Université de Paris 7 1989 Nouveau

Mathematical logic and applications : proceedings, Kyoto 1987 Shinoda, Juichi ; Slaman, Theodore A. ; Tugué, Tosiyuki | Springer 1989 Nouveau

R.C.P. 25 : Conférences de : P. Cartier, A. Guichardet et G. A. Viano Cartier, Pierre ; Guichardet, Alain ; Viano, G. A. | Université Louis Pasteur 1985 Nouveau

Computation and proof theory : Vol. 2 Richter, Michael M. ; Borger, Egon ; Oberschelp, Walter | Springer 1984 Nouveau

Models and sets : Vol. 1 Müller, Gert Heinz ; Richter, Michael M. | Springer 1984 Nouveau

Bakundi (1) 1981-1983 : traces d'un séminaire Bobo Seke ; Bebbouchi, Rachid | Université Louis Pasteur 1983 Nouveau

Logic symposia Hakone 1979, 1980 Müller, Gert Heinz ; Takeuti, Gaisi ; Tugué, Tosiyuki | Springer 1981 Nouveau

Applications of model theory to algebra, analysis, and probability Luxemburg, W. A. J. | Holt, Rinehart and Winston 1969 Nouveau