Individual km#logic_for_capturing_computability__logicforcapturingcomputability
  >part of:  km#logic_for_reasoning_about_computer_programs
  >part:  km#computability_logic__computabilitylogic

No statement uses or specializes km#logic_for_capturing_computability; click here to add one.