Nuprl Definition : dl-aprog-1

dl-aprog-1(x) ==  snd(x).0



Definitions occuring in Statement :  select-tuple: x.n pi2: snd(t) natural_number: $n
Definitions occuring in definition :  select-tuple: x.n pi2: snd(t) natural_number: $n
FDL editor aliases :  dl-aprog-1

Latex:
dl-aprog-1(x)  ==    snd(x).0



Date html generated: 2019_10_15-AM-11_40_38
Last ObjectModification: 2019_03_26-AM-11_16_58

Theory : dynamic!logic


Home Index