| title | ISBN-13 (ISBN-10) | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Essential Logic for Computer Science | 978-0-262-03918-5 (0-262-03918-4) | 2019 | Rex Page | |
| Interactive Theorem Proving: 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July ... Notes in Computer Science, Band 8558) | 978-3-319-08969-0 (3-319-08969-2) | 2014 | Gerwin Klein |