Nuprl Definition : FOSatWith+

Dom,S,a +|= fmla ==  fmla Dom S a


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  apply: f a
FDL editor aliases :  FOSatWith+
Latex:
Dom,S,a  +|=  fmla  ==    fmla  Dom  S  a


Date html generated: 2016_05_15-PM-10_12_15
Last ObjectModification: 2015_09_23-AM-08_22_43

Theory : minimal-first-order-logic


Home Index