书目详细信息 : La synthese des machines logiques et son automatisation