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