书目信息 机读格式(MARC)
Formal analysis :
| ISBN： | 9783110597851 : |
|---|---|
| 编目源： | Uk Uk Uk |
| 个人名称： | Gan, Xiao-Xiong, |
| 题名： | Formal analysis : an introduction / Edited by Xiao-Xiong Gan. |
| 出版发行项： | Berlin : De Gruyter, 2021. |
| 载体形态： | xii, 323 pages ; 25 cm. |
| 书目附注： | Includes bibliographical references and index. |