Referenced by:

• busy-beaver
• com-computable
• com-halting-set
• com-index
• com-minimal-index
• com-padding-lemma
• com-rices-thm
• com-universal-tm
• distributive-laws-conceptualization
• ucb-metamathematics-b-01
• ucb-metamathematics-b-02
• ucb-metamathematics-b-06