Nuprl Definition : Wzero
isZero(w) == ¬B[fst(w)]
Definitions occuring in Statement :
pi1: fst(t),
not: ¬A
Definitions occuring in definition :
not: ¬A,
pi1: fst(t)
FDL editor aliases :
Wzero
Latex:
isZero(w) == \mneg{}B[fst(w)]
Date html generated:
2016_05_14-AM-06_16_34
Last ObjectModification:
2015_09_22-PM-05_47_22
Theory : co-recursion
Home
Index