Nuprl Definition : decision

Decision ==  Top + Top


Definitions occuring in Statement :  top: Top,  union: left + right
Definitions occuring in definition :  union: left + right,  top: Top
FDL editor aliases :  decision
Latex:
Decision  ==    Top  +  Top


Date html generated: 2016_05_15-PM-01_44_09
Last ObjectModification: 2015_09_23-AM-07_36_57

Theory : basic


Home Index