3810337
9780521452052
An up-to-date, unified treatment of research in this interdisciplinary subject, with emphasis on independence proofs and lower bound proofs. The author discusses the deep connections between logic and computational complexity theory and lists a number of intriguing open problems.Krajicek, Jan is the author of 'Bounded Arithmetic, Propositional Logic and Complexity Theory' with ISBN 9780521452052 and ISBN 0521452058.
[read more]