Nuprl Definition : cs-knowledge

Knowledge(x;a) ==  x a


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  cs-knowledge
Latex:
Knowledge(x;a)  ==    x  a


Date html generated: 2016_05_16-PM-00_20_39
Last ObjectModification: 2012_02_25-AM-11_46_00

Theory : event-ordering


Home Index