WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc

Who Cites termin?
terminDef x IN t == PRIMITIVE
Thm* a:Term, A:Type. (a IN A) Type

Syntax:x IN t has structure: termin(t; x)

About:
universememberall!abstraction

WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc