m

Documents  Critères de recherche : "Introduction to metamathematics" | enregistrements trouvés : 3

O
     

-A +A

P Q

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

- 284 p.

Studies in logic

Localisation : Ouvrage RdC (ROBI)

calcul des prédicats # complétude # définabilité # métamathématique de l'algèbre # théorie algébrique # théorie des modèles # théorie métamathématique des idéaux # théorie métamathématique des variétés

03C35 ; 03C40 ; 03Cxx

... Lire [+]

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

- 550 p.
ISBN 978-0-7204-2103-3

Bibliotheca mathematics , 0001

Localisation : Ouvrage RdC (KLEE)

calcul prédicatif # déduction formelle # fonction récursif # logique # logique formelle # machine de Turing # métamathématique # paradoxe # système d'axiome # système formel

00A30 ; 03B22 ; 03D10 ; 03D20

... Lire [+]

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

- xiv; 207 p.
ISBN 978-1-4704-4290-3

Student mathematical library , 0087

Localisation : Collection 1er étage

théorie de Ramsey # analyse combinatoire # infini # cardinaux # théorème de van der Waerden # théorème de Hales-Jewett # fonction rapide # arithmétique de Peano # incomplétude # théorème de Paris-Harrington

05D10 ; 03-01 ; 03E10 ; 03B10 ; 03B25 ; 03D20 ; 03H15

... Lire [+]

Z