Cambridge University Press · Springer Berlin Heidelberg
| 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 and Algebra of Specification: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, ... ASI Series / Computer and Systems Sciences) | 978-3-540-55813-2 | 1993 | Friedrich L. Bauer · Wilfried Brauer | |
| 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, ... Series F, Computer and Systems Sciences) | 978-3-540-58581-7 | 1995 | ||