Nuprl Definition : ses-private
Private(A) ==  (fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(s)))))))))))) A
Definitions occuring in Statement : 
pi1: fst(t)
, 
pi2: snd(t)
, 
apply: f a
FDL editor aliases : 
ses-private
Latex:
Private(A)  ==    (fst(snd(snd(snd(snd(snd(snd(snd(snd(snd(snd(s))))))))))))  A
Date html generated:
2016_05_17-AM-11_44_46
Last ObjectModification:
2012_08_30-PM-02_30_20
Theory : event-logic-applications
Home
Index