m

Documents  Robinson, Abraham | enregistrements trouvés : 6

O
     

-A +A

P Q

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

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (R)

analyse non standard # calcul différentiel et intégral # espace linéaire # fonction d'une variable réelle ou complexe # groupe topologique de Lie # histoire # logique mathématique # topologie générale

03-03 ; 03H05 ; 22Exx ; 26Axx ; 30Axx

... Lire [+]

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

- 284 p.

Studies in logic

Localisation : Ouvrage RdC (ROBI)

calcul des prédicats # complétude # définabilité # métamathématique de l'algèbre # théorie algébrique # théorie des modèles # théorie métamathématique des idéaux # théorie métamathématique des variétés

03C35 ; 03C40 ; 03Cxx

... Lire [+]

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

- 129 p.
ISBN 978-0-7204-0690-0

Studies in logic and the foundations of mathematics

Localisation : Ouvrage RdC (ROBI)

complétion # groupe complet en modèles et corps # théorie complète # théorème de Gödel # transformée syntactique

03C35 ; 03Cxx

... Lire [+]

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

- 694 p.
ISBN 978-0-300-02071-7

Localisation : Oeuvres complètes RdC (ROBI)

algèbre différentielle # corps algébrique # théorie des modèles # Robinson # oeuvres complètes

01A60 ; 01A75 ; 03-03 ; 12-03

... Lire [+]

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

- 582 p.
ISBN 978-0-300-02072-4

Localisation : Oeuvres complètes RdC (ROBI)

analyse non standard # philosophie des mathématiques # Robinson # oeuvres complètes

00A30 ; 01A60 ; 01A75 ; 03Hxx

... Lire [+]

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

- 270 p.
ISBN 978-0-300-02073-1

Localisation : Oeuvres complètes RdC (ROBI)

aérodynamique # aéronautique # Robinson # oeuvres complètes

01A60 ; 01A75 ; 73Kxx ; 76-03 ; 76J20

... Lire [+]

Z