共 7 条
- [1] HAO J, 2005, SCI MATH JPN, V61, P435
- [2] ON AXIOM SYSTEMS OF PROPOSITIONAL CALCULI .14. [J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1966, 42 (01): : 19 - &
- [3] LELE C, 2002, INT J MATH MATH SCI, V29, P47
- [5] MENG J, 1994, YOUNG BAE BCK ALGEBR
- [6] Xi O. G., 1991, MATH JPN, V36, P935