Philosophy and Computer Science - Timothy Colburn (Taylor and Francis, 2000)