Cambridge University Press · Springer, Berlin
| Titel | ISBN-13 | Erschei- nungsjahr | andere Autoren | |
|---|---|---|---|---|
| Basic Proof Theory | 978-0-521-77911-1 | 2000 | A.S. Troelstra | |
| Computational Logic | 978-3-540-64589-4 | 1999 | Ulrich Berger | |
| Computer Science Logic: 14th International Workshop, CSL 2000 Annual Conference of the EACSL Fischbachau, Germany, August 21-26, 2000 Proceedings | 978-3-540-67895-3 | 2000 | Peter G. Clote | |
| Logic of Computation | 978-3-540-62963-4 | 1997 | ||
| Proof and Computation: Proceedings of the NATO Advanced Study Institute on Proof and Computation, Held in Marktoberdorf, Germany, July 20-August 1, 1993 | 978-3-540-58581-7 | 1995 | ||