Nuprl Definition : near-log

near-log(a;N) ==  TERMOF{near-log-exists-ext:o, 1:l} a N


Definitions occuring in Statement :  apply: f a
Definitions occuring in definition :  near-log-exists-ext,  apply: f a
TermOfs occuring in Definition :  near-log-exists-ext
FDL editor aliases :  near-log
Latex:
near-log(a;N)  ==    TERMOF\{near-log-exists-ext:o,  1:l\}  a  N


Date html generated: 2016_10_26-PM-00_38_35
Last ObjectModification: 2016_10_06-AM-10_33_36

Theory : reals_2


Home Index