Nuprl Definition : random

random(p;a;b) ==  PRIMITIVE


FDL editor aliases :  random
Latex:
random(p;a;b)  ==    PRIMITIVE


Date html generated: 2016_05_15-PM-11_55_41
Last ObjectModification: 2008_02_27-PM-05_50_21

Theory : randomness


Home Index