Nuprl Definition : IVTlog

IVTlog(a) ==  fst((TERMOF{log-by-IVT:o, 1:l} a))


Definitions occuring in Statement :  pi1: fst(t),  apply: f a
Definitions occuring in definition :  pi1: fst(t),  apply: f a,  log-by-IVT
TermOfs occuring in Definition :  log-by-IVT
FDL editor aliases :  IVTlog
Latex:
IVTlog(a)  ==    fst((TERMOF\{log-by-IVT:o,  1:l\}  a))


Date html generated: 2019_10_31-AM-06_10_22
Last ObjectModification: 2019_01_28-PM-01_44_00

Theory : reals_2


Home Index