Nuprl Definition : eq_mFO

eq_mFO(x;y) ==  mFO-equal(x) y


Definitions occuring in Statement :  mFO-equal: mFO-equal(x),  apply: f a
Definitions occuring in definition :  apply: f a,  mFO-equal: mFO-equal(x)
FDL editor aliases :  eq_mFO
Latex:
eq\_mFO(x;y)  ==    mFO-equal(x)  y


Date html generated: 2016_05_15-PM-10_14_25
Last ObjectModification: 2015_09_23-AM-08_23_08

Theory : minimal-first-order-logic


Home Index