书目详细信息
： Formal semantics in modern type theories /
书目信息 机读格式(MARC)
| ISBN： | 9781786301284 |
|---|---|
| ISBN： | 1786301288 |
| 编目源： | UKMGB UKMGB OCLCO FDU |
| 个人名称： | Chatzikyriakidis, Stergios, |
| 题名： | Formal semantics in modern type theories / Stergios Chatzikyriakidis, Zhaohui Luo. |
| 索书号： | H030/C495E |
| 载体形态： | xiii, 229 pages ; 24 cm. |