عنوان
پدید آورنده
موضوع
رده
QA 9 .M265
QA
9
.
M265
کتابخانه
محل استقرار
02BL0000000001095
انگلیسی
Introduction to mathematical logic
Jerome Malitz
New York
Springer-Verlag
c1979
xii, 198 p. ; 25 cm
, 1095 , 2-1
Undergraduate texts in mathematics
set theory, computable functions, model theory
Logic, Symbolic and mathematical
QA
9
.
M265
Malitz, Jerome
