| title | media type | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|---|
| A Logical Introduction to Proof | Hardcover | 978-1-4614-3630-0 (1-4614-3630-3) | 2012 |
| A Logical Introduction to Proof | Paperback | 978-1-4614-3632-4 (1-4614-3632-X) | 2012 |
D.C. · D.W. · Daniel Cunningham · Daniel W. · W.C. · W. Cunningham