Maoism: A Global History
*** WINNER OF THE 2019 CUNDILL HISTORY PRIZE
SHORTLISTED FOR THE BAILLIE GIFFORD PRIZE FOR NON-FICTION 2019
SHORTLISTED FOR THE NAYEF AL-RODHAN PRIZE FOR GLOBAL UNDERSTANDING
SHORTLISTED FOR DEUTSCHER PRIZE
LONGLISTED FOR THE 2020 ORWELL PRIZE FOR POLITICAL WRITING***... Proof Complexity (Encyclopedia of Mathematics and its Applications)
Proof complexity is a rich subject drawing on methods from logic, combinatorics, algebra and computer science. This self-contained book presents the basic concepts, classical results, current state of the art and possible future directions in the field. It stresses a view of proof complexity as a whole entity rather than a collection of various...