Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00000175
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
Localisation : Colloque 1er étage (MADI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 554 p.
Cote : 00000189
catégoricité # logique des sentences # modèle saturé # théorie des modèles # théorème de Ramsey # ultraproduit
03C20 ; 03C35 ; 03C50 ; 03Cxx
Localisation : Ouvrage RdC (CHAN)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 582 p.
Cote : 00001016
analyse non standard # philosophie des mathématiques # Robinson # oeuvres complètes
00A30 ; 01A60 ; 01A75 ; 03Hxx
Localisation : Oeuvres complètes RdC (ROBI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 270 p.
Cote : 00001017
aérodynamique # aéronautique # Robinson # oeuvres complètes
01A60 ; 01A75 ; 73Kxx ; 76-03 ; 76J20
Localisation : Oeuvres complètes RdC (ROBI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 694 p.
Cote : 00001015
algèbre différentielle # corps algébrique # théorie des modèles # Robinson # oeuvres complètes
01A60 ; 01A75 ; 03-03 ; 12-03
Localisation : Oeuvres complètes RdC (ROBI)
English