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

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