简介
Preface Acknowledgments Dependency Graph 1 Preliminaries 1. Sets and n-tuples 2. Functions 3. Alphabets and Strings 4. Predicates 5. Quantifiers 6. Proof by Contradiction... 更多
属性
出版社
Morgan Kaufmann
ISBN
9780122063824
出版年
1994-02-03
装帧
Hardcover
价格
USD 79.95
页数
609
评价
0.0(满分 10 分)0 个评分
什么是点评分
全部评价(
0)
推荐率
100%