Logic and computer science
By: edited by Piergiorgio Odifreddi
Contributors: Odifreddi, Piergiorgio, 1950-
Series: APIC studies in data processing -- v. 31; A.P.I.C. studies in data processing -- no. 31
Publisher: Academic Press
Published: 1990
Place of publication: London; San Diego, CA
Language: eng
Number of pages: 430
Subjects: Logic, Symbolic and mathematical; Programming (Mathematics); Computational complexity
Notes: Includes bibliographies and index