A branch of mathematics used by Fox Harrell's PhD advisor for formalizing knowledge.
MIT Open Learning