Institutional Repository
| An Introduction to Inductive Definitions | |
| PETER ACZEL | |
| Source | Handbook of Mathematical Logic |
| Other responsible | JON BARWISE |
| 1999 | |
| Publisher | ELSEVIER |
| Publish Place | OXFORD |
| Language | 中文 |
| Content Type | 专著章节/文集论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/5537 |
| Collection | 中国科学院软件研究所 |
| Recommended Citation GB/T 7714 | PETER ACZEL. An Introduction to Inductive Definitions. Handbook of Mathematical Logic. OXFORD:ELSEVIER,1999. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| An Introduction to I（2977KB） | 开放获取 | License | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment