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 |
专著章节/文集论文 |