Book Proof complexity pdf


0

Book Proof complexity pdf

Book Proof complexity pdf

Pages 555

By Jan Krajíček

Series: Encyclopedia of mathematics and its applications 170

Publisher: Cambridge University Press, Year: 2019

ISBN: 9781108416849,1108416845

Search in Amazon.com

Description:
« 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 topics held together loosely by a few notions, and it favors more  Read more…

Like it? Share with your friends!

0
WEB EDUCATION

0 Comments

Votre adresse de messagerie ne sera pas publiée. Les champs obligatoires sont indiqués avec *