Logica voor alpha s en informatici door Eyck