Nuprl Definition : log

log(b;n) ==  genfact-inv(n;1;x.b)


Definitions occuring in Statement :  genfact-inv: genfact-inv(N;b;m.f[m]),  natural_number: $n
Definitions occuring in definition :  genfact-inv: genfact-inv(N;b;m.f[m]),  natural_number: $n
FDL editor aliases :  log
Latex:
log(b;n)  ==    genfact-inv(n;1;x.b)


Date html generated: 2019_06_20-PM-02_32_25
Last ObjectModification: 2019_02_11-AM-11_57_50

Theory : num_thy_1


Home Index