纯粹数学与应用数学,1999(3):22-26. 被引量:19; 2吴洪博.Theory of generalized tautology in revised Kleene system[J].中国科学:技术科学英文版,2001(3):233-238.
確定! 回上一頁