Nuprl Definition : bool-decider

bool-decider(b) ==  TERMOF{decidable__assert:o, 1:l} b



Definitions occuring in Statement :  apply: a
Definitions occuring in definition :  apply: a
TermOfs occuring in Definition :  decidable__assert
FDL editor aliases :  bool-decider

Latex:
bool-decider(b)  ==    TERMOF\{decidable\_\_assert:o,  1:l\}  b



Date html generated: 2016_05_15-PM-03_26_42
Last ObjectModification: 2015_09_23-AM-07_43_20

Theory : general


Home Index