1

2

3

4 Table of Contents: “... of the correspondence -- Two worlds of bounded arithmetic -- Up to EF via the <...> translation -- Examples of upper...”

5 “... bounded theorem in a theory translates into a family of (quantified) propositional tautologies...”

6 “..., the translation of bounded formulas (and their proofs) into propositional ones, the method of random partial...”