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