用户名： 密码： 验证码：
常用资源电子图书期刊论文学位会议外文资源特色专题内部出版物 
Springer电子图书(2)SpringerLink电子期刊(12)Elsevier电子期刊(11)
在“Elsevier电子期刊”中，命中：11条，耗时：0.0599712 秒

在所有数据库中总计命中：25条

1.Epsilon substitution for first- and second-order predicate logic
关键词：03F35 ; 03F30 ; 03F05 ; 03B15
刊名：Annals of Pure and Applied Logic
出版年：2013
3.Preface
刊名：Annals of Pure and Applied Logic
出版年：2010
4.Logic, Language, Information and Computation
刊名：Information and Computation
出版年：2009
5.Cut Elimination for a Simple Formulation of PAε
作者：Grigori Mints
刊名：Electronic Notes in Theoretical Computer Science
出版年：2006
6.Preface
刊名：Electronic Notes in Theoretical Computer Science
出版年：2006
7.Dynamic topological logic
刊名：Annals of Pure and Applied Logic
出版年：2005
9.A proof of topological completeness for S4 in (0, 1)
刊名：Annals of Pure and Applied Logic
出版年：2005
10.Extended normal form theorems for logical proofs from axioms
刊名：Theoretical Computer Science
出版年：2000
1
2
按检索点细分(11)
作者(11)
按出版年细分(11)
2013年(1)
2010年(2)
2009年(1)
2006年(2)
2005年(3)
2000年(1)
2000年及以前(1)

© 2004-2018 中国地质图书馆版权所有 京ICP备05064691号 京公网安备11010802017129号

地址：北京市海淀区学院路29号 邮编：100083

电话：办公室：(+86 10)66554848；文献借阅、咨询服务、科技查新：66554700