书目详细信息 : LOGIC MACHINES AND DIAGRAMS /