m

Documents  Barwise, Jon | enregistrements trouvés : 7

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.

Lecture notes in mathematics , 0072

Localisation : Collection 1er étage

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

... Lire [+]

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

- 394 p.
ISBN 978-3-540-07451-9

Perspectives in mathematical logic

Localisation : Ouvrage RdC (BARW)

03D60 ; 03C75 ; 03-02 ; 03C99 ; 03E55

... Lire [+]

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

- 189 p.
ISBN 978-0-387-90936-3

Perspectives in mathematical logic

Localisation : Ouvrage RdC (Mode)

03-06 ; 03Cxx

... Lire [+]

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

- 1165 p.
ISBN 978-0-7204-2285-6

Studies in logic and the foundations of mathematics , 0090

Localisation : Ouvrage RdC (Hand)

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

... Lire [+]

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

- 194 p.
ISBN 978-0-19-505944-1

Localisation : Ouvrage RdC (BARW)

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

... Lire [+]

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

- 273 p.
ISBN 978-0-521-58386-2

Cambridge tracts in theoretical computer science , 0044

Localisation : Ouvrage RdC (BARW)

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

... Lire [+]

Z