S. R. Buss

Identifiers

Open LibraryOL9722792A

Top Subjects

Proof theory (1)

Books by S. R. Buss

Total count: 2

Handbook of Proof Theory

Elsevier Science & Technology Books1998-01-01
Feasible MathematicsA Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989

Birkhauser Verlag2013-01-01