عنوان
پدید آورنده
موضوع
رده
QA 248 .T37
QA
248
.
T37
کتابخانه
محل استقرار
A formalization of set theory without variables
Providence, R.I
American Mathemaical Society
c1987
xxi, 318p
Colloquium publications; 14
Bibliography: p.273-282
ISBN: 0821810413
Alfred Tarski and Steven Givant
1
، Set theory
، Logic, Symbolic and mathematical
QA
248
.
T37
Tarski, Alfred
AU
AU Givant, Steven Roger, 1943-
CO American Mathematical Society
TI
SE Colloquium publications )American Mathematical Society( 41
