Individual km#logic_for_reasoning_about_computer_programs
  >part of:  mathematical_logic__symbolic_logic__metamathematics__metamathematic
  >part:  Hoare_logic
  >part:  logic_for_reasoning_about_concurrent_processes_or_mobile_processes
     >part:  CSP
     >part:  CCS
     >part:  pi-calculus
  >part:  logic_for_capturing_computability__logicforcapturingcomputability
     >part:  computability_logic__computabilitylogic

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