Logica voor informatici door J.F.A.K. van Benthem