一本关于计算机科学哲学的教科书。 它基于作者为纽约州立大学布法罗分校的计算机科学与工程系和哲学系开设的课程。