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