Diagonalization and self-reference
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
Niveau d'autorisation : Public
N° | Cote | Code barre | Commentaire | |
---|---|---|---|---|
1 | 00023400 | [disponible] |