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
Ville d'édition : Princeton, New Jersey
Pays d'édition : États-Unis
Langue : Anglais
N° édition : revised e
EAN13 : 9780691080475
ISBN : 0-691-08047-X
Collation : Bibliogr. ; Index ; vii#fig.#23 cm#broch.
Collection : Annals of mathematics studies
N° de collection : 0047
Localisation : Ouvrage RdC (SMUL)
Type d'ouvrage : Monographie
Disponibilité : empruntable
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00001805 | [disponible] |