H A Formalization of set theory without variables
N° | 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