Monographie
Metamathematics, machines, and Gödel's proof
1994
XV, 202 p.
0-521-42027-X
SHANKAR m
Bibliothèque de l'IECL
IECL
Pays d'édition : Grande-Bretagne
Ville d'édition : Cambridge
Langue : anglais
Collection : Cambridge tracts in theoretical computer science
N° de collection : 038
ISSN Collection : 0956-9103
Exemplaires
Nbre d'exemplaires : 1| N° | Cote / Code barre | Localisation | Commentaire | |
|---|---|---|---|---|
| 1 | SHANKAR m MAT007089 |
LORIA [disponible] |
YRéserver |