'Logica voor informatici' door J. Ketting is een diepgaand handboek dat de fundamenten van logica verkent en toepast in de informatica, ideaal voor studenten en professionals.