| Nr. | Authors/Editors | Title | Year | Place |
| 1. | Abramsky/ Gabbay/ Maibaum | Handbook of Logic in Computer Science Vol. 1 - Background: Mathematical Structures | 1992 | Uwe |
| 2. | Abramsky/ Gabbay/ Maibaum | Handbook of Logic in Computer Science Vol. 2 - Background: Computational Structures | 1992 | Michal |
| 3. | Abramsky/ Gabbay/ Maibaum | Handbook of Logic in Computer Science Vol. 4 - Semantic Modelling | 1995 | Michal |
| 4. | Abramsky/ Gabbay/ Maibaum | Handbook of Logic in Computer Science Vol. 5 - Logic and Algebraic Methods | 2000 | Michal |
| 5. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 1 | 2001 | Michal |
| 6. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 2 | 2001 | Michal |
| 7. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 3 | 2001 | Michal |
| 8. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 4 | 2002 | Michal |
| 9. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 5 | 2002 | Michal |
| 10. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 6 | 2002 | Michal |
| 11. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 7 | 2002 | Michal |
| 12. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 8 | 2002 | Michal |
| 13. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol. 9 | ordered | |
| 14. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol.10 | 2003 | Michal |
| 15. | Gabbay/Guenther | Handbook of Philosophical Logic, 2nd Ed., Vol.11 | 2004 | Michal |
| 16. | van Leeuwen, Jan | Handbook of Theoretical Computer Science Vol. A - Algorithms and Complexity | 1992 | Uwe |
| 17. | van Leeuwen, Jan | Handbook of Theoretical Computer Science Vol. B - Formal Models and Semantics | 1992 | Thomas |
| 18. | Rozenberg/ Salomaa | Handbook of Formal Languages Vol. 1 - Word, Language, Grammar | 1997 | Uwe |
| 19. | Rozenberg/ Salomaa | Handbook of Formal Languages Vol. 2 - Linear Modeling: Background and Application | 1997 | Uwe |
| 20. | Robinson/ Voronkov | Handbook of Automated Reasoning Vol. 1 | 2001 | Marc |
| 21. | Robinson/ Voronkov | Handbook of Automated Reasoning Vol. 2 | 2001 | Marc |
| 22. | Borceux, Francis | Handbook of Categorical Algebra Vol. 1 - Basic Category Theory | 1994 | Uwe |
| 23. | Borceux, Francis | Handbook of Categorical Algebra Vol. 2 - Categories and Structures | 1994 | Uwe |
| 24. | Borceux, Francis | Handbook of Categorical Algebra Vol. 3 - Categories of Sheaves | 1994 | Uwe |
| 25. | Bidoit/Mosses | CASL - User Manual | 2004 | Uwe |
| 26. | Mosses, Peter D. | CASL - Reference Manual | 2004 | Uwe |
| 27. | Abadi/ Cardelli | A Theory of Objects | 1996 | Uwe |
| 28. | Bader/ Nipkow | Term Rewriting and All That | 1998 | Marc |
| 29. | Barwise/Moss | Vicious circles | 1996 | Michal |
| 30. | Blackburn/de Rijke/Venema | Modal Logic | 2001 | Michal |
| 31. | Bolc/Borowik | Many-Valued Logics 2 | 2003 | Michal |
| 32. | Broy/Denert | Software Pioneers | 2002 | Uwe |
| 33. | Chagrov/Zakharyaschev | Modal Logic | 1997 | Michal |
| 34. | Chang/Keisler | Model Theory | Michal | |
| 35. | Cantor, Georg | Transfinite numbers | 1955 | Michal |
| 36. | Ebbinghaus/Flum | Finite Model Theory (2nd ed.) | 1999 | Michal |
| 37. | de Queiroz, Ruy J.G.B. | Logic for Concurrency and Synchronisation | 2003 | Michal |
| 38. | Girard/Lafont/Regnier(eds.) | Advances in Linear Logic | 1995 | Michal |
| 39. | Harel/Kozen/Tiuryn | Dynamic Logic | 2000 | Uwe |
| 40. | Hodges, Wilfrid | A shorter model theory | 1997 | Michal |
| 41. | Jacobs, Bart | Categorical Logic and Type Theory (paperback) | 2001 | Uwe |
| 42. | Johnstone, Peter T. | Stone Spaces | 1986 | Michal |
| 43. | Lawvere/Roserbrugh | Sets for Mathematics | 2003 | Uwe |
| 44. | Monin/Hinchey | Understanding Formal Methods | Adis | |
| 45. | Peled, Doron A. | Software Reliability Methods | 2001 | Uwe |
| 46. | Poizat, Bruno | A course in model theory | 2000 | Michal |
| 47. | Sieg/Sommer/Talcott(eds.) | Reflections on the Foundations of Mathematics | 2002 | Michal |
| 48. | Troelstra/ Schwichtenberg | Basic Proof Theory | 2000 | Marc+Michal |
  Siden vedlikeholdes av Uwe Wolter |