S. R. Buss

No bio available. Add one in Open Library.

Books by S. R. Buss (50 max)

+ shelf+ list

Computational logic

1999

Ulrich Berger, Helmut Schwichtenberg, J. Girard, D. Miller, S. R. Buss

+ shelf+ list

Feasible Mathematics A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

2013

S. R. Buss, P. J. Scott

+ shelf+ list

Handbook of Proof Theory

1998

S. R. Buss