A new coalgebraic Lindstrom theorem
- 期刊名称Journal of Logic and Computation
- 作者Enqvist, S.
- 印刷ISSN0955-792X
- 电子ISSN1465-363X
- 文件大小244.93KB
- 发表时间2014-07-07
- DOI10.1093/logcom/exu045
同出版社推荐
天津城市民间文化之韵 汉英对照刘昕蓉主编 · 天津：天津科技翻译出版有限公司；天津：天津外语电子音像出版社 · 2014
银行与金融英语 第3版夏效刚，闫玉敏编著（天津医科大学外语教学部） · 天津：天津科技翻译出版公司；天津外语音像出版社 · 2008
地道美语每天说 第2版孟静编著 · 天津：天津科技翻译出版公司；天津外语音像出版社 · 2008
英语场景168 商务·生活英语口语强化训练 第4版葛亚军，李国慧，刘彦清，袁晖编著 · 天津：天津科技翻译出版公司；天津外语音像出版社 · 2008
看电影学英语：英美经典电影对白赏析 汉英对照李桂媛编著 · 天津：天津科技翻译出版公司；天津外语音像出版社 · 2008
0-3岁婴幼儿保育与教育杨玉红，赵孟静主编；裴静，董娟娟副主编 · 天津科技翻译出版有限公司；天津：南开大学出版社 · 2015
城市地震对策郭增建，陈鑫连主编 · 北京：地震出版社；天津：天津科技翻译出版公司 · 1991
轻松临床神经系统检查 第5版（英）杰兰特·富勒编著；杜彦辉主译 · 天津：天津科技翻译出版有限公司 · 2015