PakCat catalogue record Logic and computation By Paulson, Lawrence C. Bibliographic details PublisherCambridge University Press Publication placeCambridge Publication year1987 Material typeBook Physical description302 Subjectslogic--computation