PakCat catalogue record Discrete structures, logic, and computability NULL By Hein, James L. Bibliographic details ISBN0763718432 PublisherJones and Bartlett Publishers Publication placeBoston Publication year2001 Edition2nd ed. LanguageEnglish Material typeBook Physical descriptionxvi, 943 p. SubjectsComputer science