m
MathOuvrage

H 0 A Formalization of set theory without variables

Tarski, Alfred ; Givant, S.

American mathematical Society

1987

xxi, 318

25231

théorie des ensembles ; logique symbolique ; logique mathématique


Exemplaires

Nbre d'exemplaires : 1
Inventaire Code barre Localisation
1 25231 1021849 GALERIE

ISBN10 : 0-8218-1041-3

Type de doc : M

Ville d'édition : Providence RI

Langue ouvrage : eng

Collection : American mathematical society colloquium publications

N° dans la collection : 041

ISSN Collection : 0065-9258

Class. Math. 1991 : 03Bxx

Lien SUDOC : https://www.sudoc.fr/019723911

Z