THEORY OF TYPES


Meaning of THEORY OF TYPES in English

: a rule in symbolic logic: the arguments for which a propositional function is significant are restricted to some one type

Webster's New International English Dictionary.      Новый международный словарь английского языка Webster.