m

Documents  Keisler, H. J. | enregistrements trouvés : 5

O
     

-A +A

P Q

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


ISBN 978-0-444-85345-5

Studies in logic and the foundations of mathematics , 0101

Localisation : Colloque 1er étage (MADI)

analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # problème de Post # réalisabilité de Kleene # récursion et induction monotone # structure de Frege # théorie de la preuve et analyse non standard # théorie du premier ordre analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # ...

03-XX

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

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.

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

- 554 p.
ISBN 978-0-7204-2273-3

Studies in logic and foundations of mathematics , 0073

Localisation : Ouvrage RdC (CHAN)

catégoricité # logique des sentences # modèle saturé # théorie des modèles # théorème de Ramsey # ultraproduit

03C20 ; 03C35 ; 03C50 ; 03Cxx

... Lire [+]

Z