c3 - Intuitionistic Logic Explorer

	Intuitionistic Logic Explorer		< Previous Next > Nearby theorems
Mirrors > Home > ILE Home > Th. List > c3		Unicode version

Syntax Definition c3 8930

Description: Extend class notation to include the number 3.

**Assertion**
Ref	Expression
c3

See definition df-3 8938 for more information.

Colors of variables: wff set class