Nuprl Definition : cs-knowledge

Knowledge(x;a) ==  x a


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


Date html generated: 2015_07_17-AM-11_40_12
Last ObjectModification: 2012_02_25-AM-11_46_00

Home Index