Logica voor informatici door Benthem