Nuprl Definition : b2i

b2i(b) ==  if b then 1 else 0 fi 


Definitions occuring in Statement :  ifthenelse: if b then t else f fi ,  natural_number: $n
Definitions occuring in definition :  ifthenelse: if b then t else f fi ,  natural_number: $n
FDL editor aliases :  b2i
Latex:
b2i(b)  ==    if  b  then  1  else  0  fi 


Date html generated: 2016_05_13-PM-03_55_55
Last ObjectModification: 2015_09_22-PM-05_45_35

Theory : bool_1


Home Index