书目详细信息
： Bounded variable logics and counting :
书目信息 机读格式(MARC)
| ISBN： | 9781107167940 (hbk.) |
|---|---|
| 编目源： | NPU NPU SCT |
| 个人名称： | Otto, Martin,1961- |
| 题名： | Bounded variable logics and counting : a study in finite models / Martin Otto. |
| 索书号： | O141.4/O91E |
| 出版发行项： | Cambridge : Cambridge University Press, c2016. |
| 载体形态： | ix, 183 p. : ill. ; 24 cm. |
| 书目附注： | Includes bibliographical references (p. [177]-179) and index. |