An Introduction to Inductive Definitions
文献类型:专著章节/文集论文
| 作者 | PETER ACZEL |
| 专著(文集)名 | Handbook of Mathematical Logic |
| 其他责任者 | JON BARWISE |
| 出版日期 | 1999 |
| 出版者 | ELSEVIER ; ELSEVIER |
| 出版地 | OXFORD ; OXFORD |
| 出版者 | ELSEVIER ; ELSEVIER |
| 出版地 | OXFORD ; OXFORD |
| 语种 | 中文 |
| 源URL | [http://124.16.136.157/handle/311060/5537] ![]() |
| 专题 | 软件研究所_软件所图书馆_专著章节/文集论文 |
| 推荐引用方式 GB/T 7714 | PETER ACZEL. An Introduction to Inductive Definitions. Handbook of Mathematical Logic. OXFORD, OXFORD:ELSEVIER, ELSEVIER,1999. |
入库方式: OAI收割
来源:软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
