Individual km#computability_logic__computabilitylogic
  >part of:  logic_for_capturing_computability__logicforcapturingcomputability
     >part of:  logic_for_reasoning_about_computer_programs
        >part of:  mathematical_logic__symbolic_logic__metamathematics__metamathematic
           >part of:  formal_logic
              >part of:  logic.philosophy  the branch of philosophy that analyzes inference
                 >part of:  philosophy  the rational investigation of questions about existence and knowledge and ethics
           >part of:  abstract_algebra

No statement uses or specializes computability_logic; click here to add one.