Nuprl Definition : FOL-rename-bound-to-avoid

FOL-rename-bound-to-avoid(fmla;L) ==  TERMOF{FOL-bound-rename:o, 1:l, 1:l} fmla L


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
TermOfs occuring in Definition :  FOL-bound-rename
FDL editor aliases :  FOL-rename-bound-to-avoid
Latex:
FOL-rename-bound-to-avoid(fmla;L)  ==    TERMOF\{FOL-bound-rename:o,  1:l,  1:l\}  fmla  L


Date html generated: 2016_05_15-PM-10_18_04
Last ObjectModification: 2015_09_23-AM-08_23_20

Theory : minimal-first-order-logic


Home Index