This book introduces a new approach to building models of bounded arithmetic, with techniques drawn from recent results in computational complexity. Propositional proof systems and bounded...
List Price
$87.99
Our Price
$45.98
List Price
$87.99
Our Price
$45.98