Logica in actie door H. van Ditmarsch, J. van Benthem & J. van Eijck