Nuprl Definition : Comm-count
Comm-count(cSt) ==  snd(snd(snd(snd(cSt))))
Definitions occuring in Statement : 
pi2: snd(t)
FDL editor aliases : 
Comm-count
Latex:
Comm-count(cSt)  ==    snd(snd(snd(snd(cSt))))
Date html generated:
2016_05_17-AM-11_33_04
Last ObjectModification:
2012_08_30-PM-01_49_05
Theory : event-logic-applications
Home
Index