Frage zu Artikel "Bounded Arithmetic, Propositional Logic and.."