logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel

Ville d'édition : Massachusetts ; Wellesley

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9781568812380

ISBN : 1-56881-238-8

Collation : 23 cm#broch. ; Index

Localisation : Ouvrage RdC (TORK)

Type d'ouvrage : Monographie

Disponibilité : empruntable

Niveau d'autorisation : Public

Exemplaires