Nuprl Definition : lg-label
lg-label(g;x) == fst(g[x])
Definitions occuring in Statement :
select: L[n],
pi1: fst(t)
FDL editor aliases :
lg-label
Latex:
lg-label(g;x) == fst(g[x])
Date html generated:
2016_05_17-AM-10_10_30
Last ObjectModification:
2012_02_25-PM-03_35_10
Theory : process-model
Home
Index