0 avis
A formalization of set theory without variables / by Alfred Tarski and Steven Givant
Livre
Edité par American Mathematical Society. Providence (R.I.) - 1987
Autres documents dans la collection «Colloquium Publications - American Mathematical Society»