College Publications · Verlag Dr. Kovac
| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Foundations of Mathematics I | 978-1-84890-033-2 (1-84890-033-3) | 2011 | Joerg Siekmann · Michael Gabbay | |
| Positive/Negative-Conditional Equations . A Constructor-Based Framework for Specification and Inductive Theorem Proving | 978-3-86064-551-2 (3-86064-551-X) | 1997 | ||
C.P. · C. Peter · C. W. · Claus Peter · P W. · P. Wirth · Peter W. · Peter Wirth