Samuel R. Buss

• 3D Computer Graphics
• Feasible mathematics
• Handbook of proof theory
• Proof complexity and feasible arithmetics
• Bounded arithmetic
• Logic Colloquium '98