欢迎访问陕西师范大学学报(自然科学版)官方网站!
计量逻辑学中的线性逻辑公式
王庆平,王国俊
Linear logic formulae in the theory of quantitative logic
WANG Qing-ping,WANG Guo-jun
陕西师范大学学报(自然科学版) . 2012, (2): 1 -5 .