PakCat catalogue record Mathematical logic and computability By H. Jerome Keisler Bibliographic details ISBN0071144269 PublisherMcGraw Hill Book Company Publication placeNew York Publication year1996 Edition1996 Material typeBook Physical description484p Additional authorsMathematical Logic SubjectsLogic, Symbolic and mathematical