书目详细信息 : Mathematical foundations of computer science 1980