Logic and computer science /
Odifreddi, Piergiorgio,1950-
London : Academic Press,
c1990.
Includes bibliographies and index.
Logic, Symbolic and mathematical.
Programming (Mathematics)
Computational complexity.