Proof Complexity Generators : London Mathematical Society Lecture Note Series - Jan  Krajicek

Proof Complexity Generators

By: Jan Krajicek

Paperback | 31 July 2025

At a Glance

Paperback


$103.50

or 4 interest-free payments of $25.88 with

 or 

Available: 31st July 2025

Preorder. Will ship when available.

This book presents a state-of-the-art theory in the field of proof complexity, aiming to construct hard propositional tautologies needed to solve the P vs. NP problem in the negative. The theory is introduced step by step, starting with the historic background, and several potential new avenues of research are highlighted.

More in Mathematical Logic

The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
The Univalence Principle - Benedikt Ahrens

RRP $219.00

$197.25

10%
OFF
Partial Truths : How Fractions Distort Our Thinking - James C. Zimring
Polygraphs : From Rewriting to Higher Categories - Albert  Burroni
Blockchain and Digital Twin Applications in Smart Agriculture - Amit Kumar Tyagi
Mathematical Intelligence : What We Have that Machines Don't - Junaid Mubeen