Math HIERARCHY

(ma.hierarchy)

Mathematics

• FM Foundations of Mathematics FOM

• SL Sentential Logic SEN

• ST Set Theory SET

• RT Relation Theory REL

• OT Order Theory ORD

• FT Function Theory FUN

• LC Lambda Calculi LAM

• PL Predicate Logic PRE

• PT Proof Theory PRO

• TT Type Theory TTH

• AA Abstract Algebra AAL

• CT Category Theory CTH

• TC Theory of Computation TOC