书目详细信息 : SYmbolic logic & intelligent machines