cek. Bounded arithmetic, propositional logic and complexity theory (1994)

by J Kraj