Bounded arithmetic, propositional logic, and complexity theory

Name: Bounded arithmetic, propositional logic, and complexity theory
Author: Jan Krajícek

by Jan Krajícek · 1 review · 1999

Reviewed by	Journal	Date	Access
P. Clote	The Journal of Symbolic Logic	1999	Restricted

Also by Krajícek