S. R. Buss · 3 obras en el catálogoObrasComputational logicHHandbook of Proof TheoryHandbook of Proof TheoryFFeasible MathematicsFeasible Mathematics