Bounded arithmetic, propositional logic and complexity theory (1994)

by J Krají˘cek