A version of the ∑1-reflection principle for CFA provable in PRA
- 期刊名称Archive for Mathematical Logic
- 作者Peter Päppinghaus
- 卷第20卷
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小766.26KB
- 发表时间1980
- DOI10.1007/bf02011136
- 页码27-40
新企业破产法条文释义李国光主编；黄建中，周立涛，刘明副主编 · 北京：人民法院出版社 · 2006
新企业破产法疑难释解李国光主编；马文高，刘明，肖颖副主编 · 北京：人民法院出版社 · 2006
破产案件审判与重整和解清算手册李国光主编；韩秦利，雷瑜，肖颖副主编 · 北京：人民法院出版社 · 2006
新企业破产法案例评析李国光主编；官晋东，刘鸣，许承光，于欣，王钢副主编 · 北京：人民法院出版社 · 2006
新企业破产法适用指南李国光主编；史光明，刘李新，马文高副主编 · 北京：人民法院出版社 · 2006
劳动合同法适用指南李国光主编；钟洁，林立余副主编 · 北京：人民法院出版社 · 2007
最新公司法对照适用图解江平，李国光主编；曹守晔，李明良，孙秀君，侯三才副主编 · 北京：人民法院出版社 · 2006
破产案件审理、清算文书样式与制作李国光主编；刘鸣，官晋东，黄猛，李卫华，丁一副主编 · 北京：人民法院出版社 · 2006
中文版Excel 2007案例教程龙腾科技主编 · 北京：科学出版社；北京：北京希望电子出版社 · 2009
中文版Photoshop平面创意与制作实例精讲郭新生，张瑞娟，徐建华主编 · 北京：科学出版社；北京：北京希望电子出版社 · 2009
Photoshop CS4数码照片处理218例温鑫工作室编著 · 北京：科学出版社；北京：北京希望电子出版社 · 2010
中文版AutoCAD 2009辅助制图一点通史宇宏，史小虎，陈玉蓉编著 · 北京：科学出版社；北京：北京希望电子出版社 · 2009
After Effects CS3完全自学手册前沿思想编著 · 北京：科学出版社；北京：北京希望电子出版社 · 2009
中文版CorelDRAW X4平面设计一点通思维数码编著 · 北京：科学出版社；北京：北京希望电子出版社 · 2009
美工与创意 网页设计艺术徐延章编著 · 北京：科学出版社；北京：北京希望电子出版社 · 2009
数字影视节目编辑与制作张鹤峰著 · 北京：科学出版社；北京：北京希望电子出版社 · 2009