Computer Science Logic door E. Grandjean & K. Seyr