6895
Tarski, Alfred
A formalization of set theory without variables
Providence, R.I.
American Matheamtical Society
c1987
xxi, 318p.:ill
Colloquium publications; v.14
Bibliography: p. 273-282
Includes indexes
by Alfred Tarski and Steven Givant
، Set theory
، Logic, Symbolic and mathematical
QA
248
.
T37
1987
AU
AU Givant, Steven R
TI
SE
CL
