m
     
MathOuvrage

H 0 The Logic of provability

Boolos, George S.

Cambridge university Press

1993

xxxvi, 275 p. ; 23 cm

9780521483254

45494

logique ; incomplétude ; preuve


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 45494 1036765 GALERIE
*Don M.Eytan

ISBN10 : 0-521-48325-5

Type de doc : M

N° édition : reprinted 1996

Ville d'édition : Cambridge

Pays d'édition : gb

Langue ouvrage : eng

Bibliographie : Bibliogr. p. 262-269

Class. Math. 2000 : 03B45 ; 03-02 ; 03F30 ; 03F40

Lien SUDOC : https://www.sudoc.fr/00818951X

Z