Nuprl Definition : rlog
rlog(x) == r1_∫-x (r1/t) dt
Definitions occuring in Statement :
integral: a_∫-b f[x] dx,
rdiv: (x/y),
int-to-real: r(n),
natural_number: $n
Definitions occuring in definition :
natural_number: $n,
int-to-real: r(n),
rdiv: (x/y),
integral: a_∫-b f[x] dx
FDL editor aliases :
rlog
Latex:
rlog(x) == r1\_\mint{}\msupminus{}x (r1/t) dt
Date html generated:
2016_10_26-PM-00_27_02
Last ObjectModification:
2016_09_12-PM-05_44_11
Theory : reals_2
Home
Index