| Titel | Art | | ISBN-13 | Erschei-
nungsjahr | andere Autoren |
|---|
| Basic Proof Theory | Paperback | | 978-0-521-77911-1 | 2000 | A.S. Troelstra |
| Basic Proof Theory | " | | 978-0-521-78452-8 | 2000 | a. S Troelstra |
| Computational Logic | Gebunden | | 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 | Taschenbuch | | 978-3-540-67895-3 | 2008 | Peter G. Clote |
| Logic and Algebra of Specification: Proceedings of the NATO Advanced Study Institute on Logic and Algebra of Specification, Held in Markoberdorf, ... 4, 1991 | Gebunden | | 978-3-540-55813-2 | 1993 | Friedrich L. Bauer · Wilfried Brauer |
| Logic of Computation | " | | 978-3-540-62963-4 | 1997 |
| Logic of Computation | Taschenbuch | | 978-3-642-63832-9 | 1997 |
| Proof and Computation | " | | 978-3-642-79363-9 | 1995 |
| Proof and Computation: Digitization in Mathematics, Computer Science, and Philosophy | Hardcover | | 978-981-327-093-0 | 2018 | Klaus Mainzer · Peter Schuster |
| Proof and Computation: Proceedings of the NATO Advanced Study Institute on Proof and Computation, Held in Marktoberdorf, Germany, July 20-August 1, 1993 | Gebunden | | 978-3-540-58581-7 | 1995 |
| Proof and System-Reliability | Hardcover | | 978-1-4020-0607-4 | 2002 | Ralf Steinbrüggen |
| Proof and System-Reliability | Paperback | | 978-1-4020-0608-1 | 2002 |
| Proofs and Computations | Hardcover | | 978-0-521-51769-0 | 2011 | Stanley S. Wainer |