用于修正命题理论的可靠和完备的R演算
Crossref DOI link: https://doi.org/10.1007/s11432-014-5188-3
Published Online: 2015-07-22
Published Print: 2015-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Li, Wei
Sui, YueFei
Sun, MeiYing
Text and Data Mining valid from 2015-07-22