Hereditarily effective typestreams
- 期刊名称Archive for Mathematical Logic
- 作者Dag Normann
- 卷第36卷
- 期第3期
- 印刷ISSN0933-5846
- 电子ISSN1432-0665
- 文件大小69.58KB
- 发表时间1997-04
- DOI10.1007/s001530050062
- 页码219-225
同出版社推荐
古代风水术注评王玉德编著 · 北京：北京师范大学出版社；广西师范大学大学出版社 · 1992
古代占星术注评刘韶军编著 · 北京：北京师范大学出版社；桂林：广西师范大学出版社 · 1992
古代炼丹术注评石光，志强编著 · 北京：北京师范大学出版社；桂林：广西师范大学出版社 · 1992
古代占梦术注评卢元勋等编著 · 北京：北京师范大学出版社；桂林：广西师范大学出版社 · 1992
古代测字术注评杨昶，宋传银编著 · 北京：北京师范大学出版社；桂林：广西师范大学出版社 · 1992
三命通会注评拙言等编著 · 北京：北京师范大学出版社；桂林：广西师范大学出版社 · 1993
研究性学习百例 文科综合萧菲，修义主编 · 桂林：广西师范大学出版社；北京：中央民族大学出版社 · 2002
国花颂颜其麟著 · 桂林：广西师范大学出版社；香港大学出版社印务公司 · 1995