m

F Nous contacter

0
     
Ouvrage

H 0 Gödel's theorem :
an incomplete guide to its use and abuse

Torkel, Franzèn (Principal)

A.K. Peters

2005

172 p.

978-1-56881-238-0

00028759

03-01 ; 03F30 ; 03F40

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


Exemplaires

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