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

Exemplaires