عنوان
پدید آورنده
موضوع
رده
QA 9 .M265 1979
QA
9
.
M265
1979
کتابخانه
محل استقرار
Introduction to mathematical logic : set theory computable functions model theory
Berlin
Springer-Verlag
1987,c1979
xii, 198p.: ill
Undergraduate texts in mathematics
ISBN: 3540903461
Jerome Malitz
1
، Logic, Symbolic and mathematical
QA
9
.
M265
1979
Malitz, Jerome
AU
TI
SE
