m

F Nous contacter

0

Documents  Smullyan, Raymond M. | enregistrements trouvés : 4

O
     

-A +A

P Q

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

- 396 p.
ISBN 978-0-19-853450-1

Oxford logic guides , 0027

Localisation : Ouvrage RdC (SMUL)

arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

... Lire [+]

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

- 134 p.
ISBN 978-2-225-84195-8

Axiomes

Localisation : Ouvrage RdC (SMUL)

Gödel # axiomatique # décidabilité # logique # logique des prédicats # théorème d'incomplétude de Gödel # théorème de Gödel-Tarki

03A05 ; 03B30

... Lire [+]

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

- 158 p.
ISBN 978-3-540-04099-6

Ergebnisse der mathematik und ihrer grenzgebiete , 0043

Localisation : Ouvrage RdC (SMUL)

compacité # complétude # définabilité de Beth # ensemble magique # interpolation de Craig # logique du premier ordre # logique proportionnelle # propriété de consistance synthétique # système d'axiomes pour théorie de quantification # système de Gentzen # système de raisonnement linéaire # tableaux Prenex # tableaux analytiques # élimination

03-02 ; 03B05 ; 03B10 ; 03C10

... Lire [+]

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

- 147 p.
ISBN 978-0-691-08047-5

Annals of mathematics studies , 0047

Localisation : Ouvrage RdC (SMUL)

arithmétique constructive # créativité et effective inséparabilité # incomplétude # indécidabilité # oméga-consistance # représentabilité formelle # système formel mathématique # théorie de Gödel et Rosser # théorie des fonctions récursives # théorie des systèmes formels # énumérabilité récursive

03D20 ; 03D25 ; 03D35 ; 03F40 ; 03Fxx

... Lire [+]

Z