Hits:
Title of Paper:任务逻辑中的定理
Journal:模糊系统与数学
Correspondence Author:许文艳
Volume:20
Issue:6
Page Number:15-20
Translation or Not:No
Date of Publication:2006-12-01
Date:2024-04-08
Prev One:The Countable Versus Uncountable Branching Recurrences in Computability Logic
Next One:Cirquent Calculus System Cl8s Versus Calculus of Structures System Sksg For Propositional Logic