Nuprl Definition : dl-obj-prop

dl-obj-prop(x) ==  snd(x)


Definitions occuring in Statement :  pi2: snd(t)
Definitions occuring in definition :  pi2: snd(t)
FDL editor aliases :  dl-obj-prop
Latex:
dl-obj-prop(x)  ==    snd(x)


Date html generated: 2019_10_15-AM-11_42_36
Last ObjectModification: 2019_04_04-PM-06_16_54

Theory : dynamic!logic


Home Index