m

F Nous contacter

0
     
Ouvrage

H 0 Diagonalization and self-reference

Smullyan, Raymond M. (Principal)

Clarendon Press

1996

396 p.

978-0-19-853450-1

00023400

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

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

Ville d'édition : Oxford

Pays d'édition : Grande-Bretagne

Langue : Anglais

N° édition : reprint

EAN13 : 9780198534501

ISBN : 0-19-853450-7

Collation : 24 cm#rel. ; Bibliogr.

Collection : Oxford logic guides

N° de collection : 0027

Localisation : Ouvrage RdC (SMUL)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

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