Nuprl Definition : mFOLvar
vn == n
FDL editor aliases
:
mFOLvar
Latex:
vn == n
Date html generated: 2016_05_15-PM-10_14_05
Last ObjectModification: 2015_09_23-AM-08_23_04
Theory :
minimal-first-order-logic
Home
Index