Logic and computer science /

Bibliographic Details

Other Authors:	Odifreddi, Piergiorgio, 1950-
Format:	Book
Language:	English
Published:	London ; San Diego, CA : Academic Press, [1990]
Series:	A.P.I.C. studies in data processing ; no. 31.
Subjects:	Logic, Symbolic and mathematical. Programming (Mathematics) Computational complexity.