Nuprl Definition : PZF_safe
PZF_safe(phi;vs) == FormSafe2(phi) vs
Definitions occuring in Statement :
FormSafe2: FormSafe2(f),
apply: f a
Definitions occuring in definition :
apply: f a,
FormSafe2: FormSafe2(f)
FDL editor aliases :
PZF_safe
PZF_safe
Latex:
PZF\_safe(phi;vs) == FormSafe2(phi) vs
Date html generated:
2018_05_21-PM-11_30_12
Last ObjectModification:
2017_10_11-PM-01_18_58
Theory : PZF
Home
Index