автор: Prague) Krajicek Jan (Academy of Sciences of the Czech Republic

Jan Krajicek: Bounded Arithmetic, Propositional Logic and Complexity Theory