Logica voor informatica by H.P. van Ditmarsch, J. Ketting & J.F.A.K. van Benthem