Previous ed. published as: Logica voor informatici /J.F.A.K. van Benthem. Amsterdam : Addison-Wesley, 1994.
Logica voor informatica. ISBN 9043007226. Published by Pearson Addison Wesley in 2003. Publication and catalogue information, links to buy online and reader comments.