|Intuitionistic Logic Explorer
|Mirrors > Home > ILE Home > Th. List > wsbc
|Description: Extend wff notation to include the proper substitution of a class for a set. Read this notation as "the proper substitution of class for setvar variable in wff ."
|Colors of variables: wff set class
|Copyright terms: Public domain