Nuprl Definition : worlds

worlds(k) ==  k."w"


Definitions occuring in Statement :  record-select: r.x,  token: "$token"
Definitions occuring in definition :  record-select: r.x,  token: "$token"
FDL editor aliases :  worlds
Latex:
worlds(k)  ==    k."w"


Date html generated: 2020_05_20-AM-09_01_01
Last ObjectModification: 2019_11_27-PM-01_55_49

Theory : dynamic!logic


Home Index