R. B · S. B · S R · Samuel R. Buss
title | ISBN-13 (ISBN-10) | year of publication |
---|---|---|
Feasible Mathematics: "A Mathematical Sciences Institute Workshop, Ithaca, New York, June 1989" | 978-0-8176-3483-4 (0-8176-3483-5) | 1990 |
Handbook of Proof Theory, Volume 137 | 978-0-444-89840-1 (0-444-89840-9) | 1998 |