PakCat catalogue record Discrete Structures, Logic, and Computability Bibliographic details PublisherEng. Edition3rd Material typeBook Physical description1009 SubjectsJames L. Hein