Subsets of models of arithmetic
- 期刊名称Archive for Mathematical Logic
- 作者Roman Kossak; Jeffrey B. Paris
- 卷第32卷
- 期第1期
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小510.91KB
- 发表时间1992
- DOI10.1007/bf01270396
- 页码65-73
思想政治理论超级红宝书徐之明主编；汪云生，杜鹏程，陈文广，向明，史慧来，萧立，刘万达，柴逸，陈天健，徐之明著 · 北京：国家行政学院出版社 · 2015
2014张俊芳考研政治应试宝典张俊芳，徐之明主编；张俊芳，徐之明，史春林，杨泽海，张纹，雷雨编 · 北京：高等教育出版社 · 2013
思想政治理论红宝书900题 答案册徐之明主编；刘万达，陈天健，杜凡，余金城，向明，徐之明编 · 北京：研究出版社 · 2018
思想政治理论超级红宝书徐之明主编；杜鹏程，陈文广，向明，史慧来，萧立，刘万达，柴逸，陈天健，徐之明著 · 北京：国家行政学院出版社 · 2015
2013考研政治应试宝典张俊芳，徐之明主编；张俊芳，徐之明，史春要，杨泽海，张纹，周良书编 · 北京：高等教育出版社 · 2012
思想政治理论红宝书逻辑图解 2013徐之明主编；汪云生，刘万达，陈文广，杜鹏程，萧立，鲁易君，陈天健，徐之明著 · 北京：海豚出版社 · 2012
金榜图书·2015徐之明考研思想政治系列·研究生报考知识暨考研政治入门红宝书徐之明主编；资涌，刘万达，向明，史慧来，徐之明著 · 北京：国家行政学院出版社 · 2014
2017徐之明考研政治金牌书系之3 思想政治理论经宝书超级900题 答案册 总第15版徐之明主编；刘万达，陈天健，杜凡，余金城，向明，徐之明著 · 北京:国家行政学院出版社 · 2016
海军武器装备陆建勋主编；总装备部电子信息基础部编 · 北京：原子能出版社；北京：航空工业出版社；北京：兵器工业出版社 · 2003
化学、生物武器与防化装备汪致远总主编；陈冀胜分卷主编 · 北京：原子能出版社；北京：航空工业出版社；北京：兵器工业出版社 · 2003
电子战和信息战技术与装备汪致远总主编；童志鹏分卷主编 · 北京：原子能出版社；北京：航空工业出版社；北京：兵器工业出版社 · 2003
导弹武器与航天器装备汪致远总主编；孙家栋分卷主编 · 北京：原子能出版社；北京：航空工业出版社；北京：兵器工业出版社 · 2003
空军武器装备汪致远总主编；顾诵芬主卷主编 · 北京：原子能出版社；北京：航空工业出版社；北京：兵器工业出版社 · 2003
陆军武器装备汪致远总主编；王洪光分卷主编 · 北京：原子能出版社；北京：航空工业出版社；北京：兵器工业出版社 · 2003
核武器装备汪致远总主编；钱绍钧分卷主编 · 北京：原子能出版社；北京：航空工业出版社；北京：兵器工业出版社 · 2003
核反应堆物理分析谢仲生主编；谢仲生，吴宏春，张少泓编著 · 西安：西安交通大学出版社；北京：原子能出版社 · 2004