Nuprl Definition : qlog

qlog(q;e) ==  TERMOF{qlog-ext:o, 1:l} e q


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


Date html generated: 2016_05_15-PM-11_15_16
Last ObjectModification: 2015_09_23-AM-08_28_02

Theory : rationals


Home Index