عنوان
پدید آورنده
موضوع
رده
QA 248 .T37 1987
QA
248
.
T37
1987
کتابخانه
محل استقرار
92333
آخر۲۷
English
)20(
Tarski, Alfred.
A formalization of set theory without variables
Providence, R.I.
American Mathematical Society
1987
xxi, 318 p. : ill. ; 26 cm
Colloquium publications, 5600-8529; v. 14
Bibliography: p. 273-282
Includes indexes
، Set theory
، Logic, Symbolic and mathematical
QA
248
.
T37
1987
AU
by Alfred Tarski and Steven Givant
AU .R nevetS ,tnaviG
TI
SE
02
