| ISBN/价格： | 1.60 |
|---|
| 题名责任者项： | 数理逻辑/.莫绍揆等编著 |
|---|
| 出版发行项： | 北京:,高等教育出版社:,1985.4 |
|---|
| 载体形态项： | 250:;+L32K |
|---|
| 一般附注： | 计算机类专业适用 |
|---|
| 题名主题： | 计算机科学 数理逻辑 命题演算 谓词演算 递归函数 |
|---|
| 中图分类： | O141 |
|---|
| 中图分类： | B813 |
|---|
overall score ：
（Altogether0people）
Altogether[0]People book this book
Comment altogether
Article ，
please
log inPost a comment
