| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| 3D Computer Graphics: A Mathematical Introduction with OpenGL | 978-0-521-82103-2 | 2003 | ||
| Bounded arithmetic | 978-88-7088-150-9 | 2008 | ||
| Feasible Mathematics | 978-3-7643-3483-3 | 1998 | Philip J Scott | |
| Logic Colloquium '98 | 978-1-108-61848-9 | 2020 | Petr Hájek · Pavel Pudlák | |
R. B · S. B · S R · S.R. Buss · Samuel Buss
Bibliopolis · Birkhäuser · Cambridge University Press