An Introduction to Inductive Definitions
| Contribuinte(s) |
JON BARWISE |
|---|---|
| Data(s) |
1999
|
| Identificador | |
| Idioma(s) |
中文 |
| Publicador |
ELSEVIER OXFORD ELSEVIER OXFORD |
| Fonte |
PETER ACZEL.An Introduction to Inductive Definitions.OXFORD:ELSEVIER.1999 |
| Tipo |
专著章节/文集论文 |
