G. C. Rota

• Bounded Arithmetic, Propositional Logic and Complexity Theory
• Methoden Zur Theorie der Ternären Formen