Russell's theory of types

Primary tabs

Defines:
type theory, ramified type theory, simple type theory, axiom of reducibility, stratification, NF, theory of types, simple theory of types, ramified theory of types
Type of Math Object:
Definition
Major Section:
Reference

Mathematics Subject Classification

03B15 Higher-order logic and type theory