关于BCK代数的模型论性质
梁俊奇
On the Model Properties of BCK Algebras
LIANG Jun-qi
数学季刊 . 2004, (3): 300 -305 .