m
     
Ouvrage

H 0 A formalization of set theory without variables

Tarski, Alfred (Principal) ; Givant, Steven (Co-auteur)

American Mathematical Society

1987

318 p.

978-0-8218-1041-5

00012022

03B30 ; 03Bxx ; 03C05 ; 03E30 ; 03G15

logique # logique mathématique # logique symbolique # théorie d'ensembles

Ville d'édition : Providence ; R.I.

Pays d'édition : États-Unis

Langue : Anglais

EAN13 : 9780821810415

ISBN : 0-8218-1041-3

Collation : Bibliogr. Pp. 273-282 ; Index ; xxi#26 cm#rel.

Collection : American mathematical society colloquium publications

N° de collection : 0041

Localisation : Collection 1er étage

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00012022 [disponible]
Z