PakCat catalogue record Discrete structures logic and computability 01/01/2000 00:00 By Hein, James L. Bibliographic details ISBN8173195625 PublisherNarosa Publication House Publication placeNew Delhi Publication year2002 Edition2nd ed. LanguageEnglish Material typeBook Physical descriptionxvi, 942p. Additional authors- SubjectsPropositional & Predicate Logic., Computability.