000 00537nam a2200169Ia 4500
008 230524s9999 xx 000 0 und d
040 _cUDSM
050 _aMATH QA9.M265
100 1 _aMalitz, Jerome
_eAuthor
245 1 0 _aIntroduction to mathematical logic
_b : set theory, computable functions, model theory
260 _aNew York
_b: Springer-Verlag,
_c1979
300 _axii,198p.
_b: ill.
_c; 25cm.
504 _aIncludes bibliographical references
650 _aLogic,
650 _a symbolic and mathematical
942 _2lcc
_cBK
999 _c71856
_d71856