PakCat catalogue record Computability and logic By Boolos, George Bibliographic details PublisherCUP Publication placeCambridge Publication year1980 Edition2nd. ed. LanguageEnglish Material typeBook Physical descriptionx, 284p.