00377nam a2200109Ia 4500008004100000082001900041100001900060245009100079260003800170300002000208490003900228260128b        |||||||| |||| 00| 0 eng d  a511.3bM251.IM  aMalitz, Jerome  aIntroduction to mathematical logicb; set theory, computable functions, model theory /  aNew York:bSpringer-Verlag,c1979  ax, 198 p. Index  aUndergraduate texts in Mathematics