Dr. Holger Schwichtenberg · H.S. · Helmut Schwichtenberg · Holger Schwichtenberg
Cambridge University Press · Springer
| title | media type | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|---|
| Basic Proof Theory | Paperback | 978-0-521-77911-1 | 2000 | A. S. Troelstra | |
| Basic Proof Theory | Hardcover | 978-0-521-57223-1 | 1996 | " | |
| Logic, Algebra, and Computation: International Summer School | Gebunden | 978-3-540-54315-2 | 1991 | Friedrich L. Bauer · F.L. Bauer · W. Brauer · G. Huet · J.A. Robinson | |
| Proof and Computation | Hardcover | 978-0-387-58581-9 | 1995 | ||