m

F Nous contacter

0
     
Ouvrage

H 0 Theory of formal systems

Smullyan, Raymond M. (Principal)

Princeton University Press

1961

147 p.

978-0-691-08047-5

00001805

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

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

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00001805 [disponible]
Z