human: Given a hyperedge-centered hypergraph: <hypergraph>, where the center hyperedge is induced by one source paper and its member nodes are the cited papers.

Details of the hypergraph:
Center hyperedge (induced by source paper "fundamentals of computability logic"):
  Abstract: This article is a semitutorial-style survey of computability logic. An extended online version of it is maintained at this http URL .

Includes members:
  Member "build your own clarithmetic ii soundness":
    also connected through other hyperedges:
      - Hyperedge HE-1 (induced by source paper "computability logic giving caesar what belongs to caesar")
  Member "build your own clarithmetic i setup and completeness":
    also connected through other hyperedges:
      - Hyperedge HE-2 (induced by source paper "computability logic giving caesar what belongs to caesar")
  Member "elementary base cirquent calculus i parallel and choice connectives":
    also connected through other hyperedges:
      - Hyperedge HE-3 (induced by source paper "elementary base cirquent calculus ii choice quantifiers")
  Member "introduction to clarithmetic ii":
    also connected through other hyperedges:
      - Hyperedge HE-4 (induced by source paper "computability logic giving caesar what belongs to caesar")
  Member "the computational complexity of propositional cirquent calculus":
    also connected through other hyperedges:
      - Hyperedge HE-5 (induced by source paper "build your own clarithmetic i setup and completeness")
  Member "on the system cl12 of computability logic":
    also connected through other hyperedges:
      - Hyperedge HE-6 (induced by source paper "towards distributed logic programming based on computability logic")
  Member "a propositional system induced by japaridze s approach to if logic":
    also connected through other hyperedges:
      - Hyperedge HE-7 (induced by source paper "elementary base cirquent calculus ii choice quantifiers")
  Member "expressing algorithms as concise as possible via computability logic":
    also connected through other hyperedges:
      (none)

Question: Please tell me which class the source paper belongs to. The 40 classes are: cs.NA(Numerical Analysis), cs.MM(Multimedia), cs.LO(Logic in Computer Science), cs.CY(Computers and Society), cs.CR(Cryptography and Security), cs.DC(Distributed, Parallel, and Cluster Computing), cs.HC(Human-Computer Interaction), cs.CE(Computational Engineering, Finance, and Science), cs.NI(Networking and Internet Architecture), cs.CC(Computational Complexity), cs.AI(Artificial Intelligence), cs.MA(Multiagent Systems), cs.GL(General Literature), cs.NE(Neural and Evolutionary Computing), cs.SC(Symbolic Computation), cs.AR(Hardware Architecture), cs.CV(Computer Vision and Pattern Recognition), cs.GR(Graphics), cs.ET(Emerging Technologies), cs.SY(Systems and Control), cs.CG(Computational Geometry), cs.OH(Other Computer Science), cs.PL(Programming Languages), cs.SE(Software Engineering), cs.LG(Machine Learning), cs.SD(Sound), cs.SI(Social and Information Networks), cs.RO(Robotics), cs.IT(Information Theory), cs.PF(Performance), cs.CL(Computation and Language), cs.IR(Information Retrieval), cs.MS(Mathematical Software), cs.FL(Formal Languages and Automata Theory), cs.DS(Data Structures and Algorithms), cs.OS(Operating Systems), cs.GT(Computer Science and Game Theory), cs.DB(Databases), cs.DL(Digital Libraries), cs.DM(Discrete Mathematics). Directly output the class name.

gpt: cs.LO(Logic in Computer Science)