共 9 条
[2]
ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .14.
[J].
PROCEEDINGS OF THE JAPAN ACADEMY,
1966, 42 (01)
:19-&
[3]
Iseki K., 1978, MATH JAPONICA, V23, P1
[4]
ISEKI K, 1977, KOBE J MATH, V5, P327
[5]
Jun Y. B., 1993, MATH JAPON, V38, P67
[7]
Meng J., 1991, PURE APPL MATH IN CH, V9, P49
[8]
Xi O. G., 1991, MATH JAPON, V36, P935