Nuprl Definition : dl-obj-prog

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


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


Date html generated: 2019_10_15-AM-11_42_30
Last ObjectModification: 2019_04_04-PM-05_42_05

Theory : dynamic!logic


Home Index