Individual km#mathematical_logic__symbolic_logic__metamathematics__metamathematic
  >part:  application_of_techniques_of_formal_logic_to_mathematics  application_of_mathematical_techniques_to_formal_logic  sentential_logic  predicate_logic  logic_for_reasoning_about_computer_programs
  url:  http://en.wikipedia.org/wiki/Mathematical_logic
  >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 mathematical_logic; click here to add one.