En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK

Documents 03Hxx 23 results

Filter
Select: All / None
Q
K | F x r
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Ideale pinkte, monaden und nichtstandard-methoden Richter, Michael M. | Friedr. Vieweg & Sohn 1982

Ouvrage

- 264 p.
Call n° : 00006981
axiome de l'analyse non-standard réelle et complexe # espace topologique # extension non-standard # fondement # logique mathématique # monade # nombre hyperréel # point idéal

03Hxx ; 30G06 ; 54J05

Location : Ouvrage RdC (RICH)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Models and sets, part I :
proceedings of the logic colloquium held in aachen#July 18-23 Muller, G. H. ; Richter, M. M. | Springer-Verlag 1984

Congrès

- 396 p.
Call n° : 00007688

03Cxx ; 03Exx ; 03Gxx ; 03Hxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Modern logic - a survey :
historical, philosophical, and mathematical aspects of modern logic and its applications Agazzi, Evandro | D. Reidel Publisher Co. 1981

Ouvrage

- 475 p.
Call n° : 00005113
histoire et biographie # histoire des mathématiques et des mathématiciens # 20ème siècle # logique mathématique et fondation

03-02 ; 03A05 ; 03Exx ; 03Fxx ; 03Hxx

Location : Ouvrage RdC (Mode)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Logic symposia hakone 1979, 1980 :
proceedings of conferences on... held in hakone#March 21-24 and Feb. 4-7 Muller, G. H. ; Takeuti, G. ; Tugue, T. | Springer-Verlag 1985

Congrès

- 431 p.
Call n° : 00010545
logique

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

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Mathematical logic and applications
proceedings of the logic meeting was held at the r.i.m.s. of kyoto,aug. 3-6,1987 Shinoda, J. ; Slaman, T. A. ; Tugue, T. | Springer-Verlag 1989

Congrès


Call n° : 00013211
logique mathematique

03Bxx ; 03Dxx ; 03Exx ; 03Fxx ; 03Hxx

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Observons un polynôme de Lagrange Callot, Jean-Louis ; Fruchard, Augustin | I.R.MA. ; Universite Louis Pasteur 1993

Publication


Call n° : 00016262
analyse complexe infinitésimale # analyse non standard # interpolation de Lagrange

03Hxx ; 30Cxx ; 41-XX

Location : Disparu

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Selected papers of Abraham Robinson. Vol. 2 :
nonstandard analysis and philosophy Robinson, Abraham ; Keisler, H. J. ; Körner, S. ; Luxembourg, W. A. J. ; Young, L. C. | North-Holland Publishing Co. 1979

Ouvrage

- 582 p.
Call n° : 00001016
analyse non standard # philosophie des mathématiques # Robinson # oeuvres complètes

00A30 ; 01A60 ; 01A75 ; 03Hxx

Location : Oeuvres complètes RdC (ROBI)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Lectures on non-standard analysis Machover, Moshé ; Hirschfeld, Joram | Springer-Verlag 1969

Ouvrage


Call n° : 00020215
analyse non-standard # ensemble nucléaire # espace compact # espace homogène # espace topologique # filtre # fonction en espace uniforme ou en espace de proximité # groupe topologique # langage L cursif # représentation et produit # structure uniforme # système standard ou non- standard # théorie de Robinson # univers du discours # élargissement du U cursif

03Hxx ; 54A05 ; 54E05 ; 54E15

Location : Collection 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

IIIè rencontre de géométrie du Schnepfenried. Vol. 1 :
feuilletages, géométrie symplectique et de contact, analyse non standard et applications
dédiés à Georges Reeb
Mai 10-15 Bernard, Daniel ; Hangan, Théordor ; Lutz, Robert | Société Mathématique de France 1983

Congrès

- 275 p.
Call n° : 00020437
analyse non standard # application # feuilletage # géométrie de contact # géométrie symplectique # équation de Pfaff

03Hxx ; 53-06 ; 53C12 ; 53C15 ; 58F05

Location : Colloque 1er étage (SCHN)

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V

Séminaire de théorie des nombres 1968-1969 | Laboratoire de théorie des nombres 1969

Congrès


Call n° : 00008845
analyse non standard # analyse p-adique # approximation diophantienne # corps de nombres algébriques # ensemble d'analyticité # ensemble lacunaire # extension cyclique de corps quadratique # fonction zêta p-adique # structure de p-groupe de classes de corps cyclotomique # théorie des nombres # unité d'un corps de nombres algébriques

03Hxx ; 11-06 ; 11Jxx ; 11Sxx ; 12L15

Location : Séminaire 1er étage

Bookmarks

Cochez un panier pour y ajouter l'enregistrement. Décochez-le pour l'en enlever.

4

Manage my selections

Report an error

List: nb of elts/page

Select: All / None

Filter

Type

Authors

J More

Language