PakCat catalogue record COMPUTABILITY AND LOGIC ND By BOOLOS GEORGE S. Bibliographic details ISBN0521389232 PublisherCAMBRIDGE UNIVERSITY PRESS. Publication placeNEW JERSEY Publication year1995 EditionTHIRD Material typeBook Physical description304 Additional authorsRICHARD C. JEFFREY SubjectsMATHEMATICS