| year of publication | ISBN | author(s) | title |
|---|---|---|---|
| 2002 | 978-0-9543006-0-9 | Frank Wolter · etc. | Advances in Modal Logic: v. 3 |
| 2004 | 978-0-9543006-3-0 | Maribel Fernandez | Programming Languages and Operational Semantics: An Introduction |
| '' | 978-0-9543006-5-4 | Chris Hankin | An Introduction to Lambda Calculi for Computer Scientists |
| '' | 978-0-9543006-7-8 | Rob Nederpelt · Fairouz Kamareddine | Logical Reasoning: A First Course |
| '' | 978-0-9543006-9-2 | Kees Doets · Jan van Eijck | The Haskell Road to Logic, Maths and Programming: v. 4 (Texts in Computing) |