WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc

Who Cites prop?
propDef Prop == Type

Syntax:Prop has structure: prop{i:l}

About:
universeprop!abstraction

WhoCites Definitions ElisTarskiPf B Sections NuprlLIB Doc