Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00020185
algèbre quantifiée # construction géométrique # définabilité implicite et compacité en langage infinitaire # dérivabilité normale en logique classique # logique déterminée # nombre de Hanf pour phase complète # ordinal admissible # preuve algébrique du théorème de compacité de Barwise # propriété d'union de modèle # quantificateur ordonné linéairement # syntaxe et sémantique de langage infinitaire # théorie de récursion # théorie des groupes
03C40 ; 03C75 ; 03Dxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 273 p.
Cote : 00021758
apprentissage et système adaptatif # informatique théorie # langage naturel # linguistique # logique # logique algébrique # logique de programmation # logique non classique # logique quantique # philosophie # système distribué # théorie du calcul informatique # traitement de l'information # traitement des données électroniques
03-02 ; 03A05 ; 03B60 ; 03B65 ; 03B70
Localisation : Ouvrage RdC (BARW)
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
- 189 p.
Cote : 00009282
03-06 ; 03Cxx
Localisation : Ouvrage RdC (Mode)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 1165 p.
Cote : 00000188
logique # mathématique # mathématique constructive # théorie de la preuve # théorie de la récursion # théorie des ensembles # théorie des modèles
03-XX ; 03Cxx ; 03Dxx ; 03Exx ; 03Fxx
Localisation : Ouvrage RdC (Hand)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 194 p.
Cote : 00017912
affirmation # circularité # négation et demi # paradoxe du menteur # phrase # proposition d'Austin # proposition de Russell # sémantique # univers des hyper- ensembles # vérité
03Bxx ; 03Exx
Localisation : Ouvrage RdC (BARW)
English