m
     
MathOuvrage

H 0 Lectures in logic and set theory. Vol. 1

Tourlakis, George

Cambridge university Press

2003

xi, 328 p. ; 24 cm

42217

logique ; axiome ; inférence ; incomplétude ; théorie des modèles ; théorème de Henkin


Exemplaires

Nbre d'exemplaires : 1
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

Voir aussi

Z