H Lectures in logic and set theory. Vol. 1
2003
xi, 328 p. ; 24 cm
42217
logique ; axiome ; inférence ; incomplétude ; théorie des modèles ; théorème de Henkin
N° | Inventaire | Code barre | Localisation | |
---|---|---|---|---|
1 | 42217 | 1026519 | GALERIE |
Sous-titre : mathematical logic
ISBN10 : 0-521-75373-2
Type de doc : M
Ville d'édition : Cambridge
Pays d'édition : gb
Langue ouvrage : eng
Collection : Cambridge studies in advanced mathematics
N° dans la collection : 082
ISSN Collection : 0950-6330
Bibliographie : Bibliogr. p. 319-320
Class. Math. 2000 : 03-01 ; 03-02 ; 03B10 ; 03F30
Class. Library : QA9.2 .T68
N° LCCCN : 2002073308
Class. Dewey : 511.3
Lien SUDOC : https://www.sudoc.fr/129952222