中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
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
其他版本

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。