Nuprl Definition : mFOquant

mFOquant(isall;var;body) == <"quant", isall, var, body>

Definitions occuring in Statement : pair: <a, b>, token: "$token"
Definitions occuring in definition : token: "$token", pair: <a, b>
FDL editor aliases : mFOquant

Latex:
mFOquant(isall;var;body) == <"quant", isall, var, body> Date html generated: 2016_05_15-PM-10_13_09 Last ObjectModification: 2015_09_23-AM-08_22_52 Theory : minimal-first-order-logic Home Index