00529nam a2200181 a 4500001001400000003000700014005001700021008004100038020001800079020001500097040000800112100002600120245005000146260006900196300002600265500001900291650003700310vtls000056963KUKTEM20251125093018.0111210t2001    maua   f      001 0 eng d  a9781568811352  a1568811357  aUMP1 aShoenfield, Joseph R.10aMathematical logic /cby Joseph R. Shoenfield  aNatick, Mass. :bAssociation for Symbolic Logic,c[2001?], c1967  avii, 344 p. ;c24 cm.  aIncludes index 0aLogic, Symbolic and mathematical