Samuel R. Buss · 6 obras en el catálogoObrasHandbook of proof theoryFeasible mathematicsProof complexity and feasible arithmeticsLLogic Colloquium '98Logic Colloquium '983D Computer GraphicsBBounded arithmeticBounded arithmetic