Soundness and completeness of the cirquent calculus system CL6 for computability logic
Hits:
Title of Paper:Soundness and completeness of the cirquent calculus system CL6 for computability logic
Journal:Logic Journal of the IGPL，2012
Indexed by:Journal paper
Document Code:SCI (000299350900016 )
Discipline:Natural Science
First-Level Discipline:Mathematics
Document Type:J
Volume:20
Issue:1
Page Number:317-330
Translation or Not:No
Included Journals:SCI
Date:2018-08-16