1007-1792
2012 Issue 1
On Representing Open Universe
l qiao de rui ;m cha ke la bo di
l qiao de rui ;m cha ke la bo di
..............page:96-112
Reduction Techniques for Satisfiability Problems
daoyun xu; xu dao yun ; wang xiao feng
daoyun xu; xu dao yun ; wang xiao feng
..............page:35-49
..............page:1-10
Computer, Proof, and Testimony
wang qi yi
wang qi yi
..............page:50-67
A Pragmatistic View on Philosophy of Mathematics
yang zuo zhi
yang zuo zhi
..............page:68-95
The Complexity and Expressive Power of Second-Order Extended Logic
feng shi guang ; zhao xi shun
feng shi guang ; zhao xi shun
..............page:11-34
..............page:126-126
Liang Qichao＇s Research Paradigm and the Study of History of Logic in China
zeng zhao shi ; xie yun
zeng zhao shi ; xie yun
..............page:113-125