Philosophy of Computer Science [pdf]