Hits:

Title of Paper:可计算性逻辑中若干形式系统及算子的研究

Journal:西安电子科技大学

Correspondence Author:许文艳

Issue:4

Translation or Not:No

Date of Publication:2013-04-01

Date:2024-04-09