经典逻辑系统中的随机化再研究

经典逻辑系统中的随机化再研究

马巧云，吴洪博

Restudy on Randomization of Classical Logic System

MA Qiaoyun, WU Hongbo

计算机科学与探索 . 2017, (8): 1354 -1360 . DOI: 10.3778/j.issn.1673-9418.1701001