Home | Survey | Payment| Talks & Presentations | Job Opportunities
Journals   A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Sun Yatsen University Forum
1007-1792
2011 Issue 4
Aims and Scope
..............page:F0003-F0003
Conference Report:International Workshop on Teaching Logic Today
tian li gang ; zhao peng
..............page:111-114
A Report on the Tutorials and Workshop of Logic,Language and Philosophy
zuo feng kui ; wang yan jing
..............page:115-121
A Note on a Proof of the Bull's Theorem
zuo jiang jie
..............page:15-23
On the Paracomplete Theory of Semantical Paradox
li hui hua ; wang wen fang
..............page:68-77
Type Logic of Inference of Attributes in Temporal Database
liu dong ning
..............page:24-37