A formalization of set theory without variables
by Alfred Tarski and Steven Givant.
Providence, R.I. : American Mathematical Society, ©1987.
xxi, 318 págs. ; 26 cm.
Serie: Colloquium publications, 0065-9258 ; v. 41
ISBN: 0821810413 (alk. paper)
Incluye referencias bibliográficas (p. 273-282) e índices.
Reseña: MathSciNet, 89g:03012