Nuprl Definition : is-basic-seq

thr[A;B] |= bs ==  bs A B es thr


Definitions occuring in Statement :  apply: f a
FDL editor aliases :  is-basic-seq
Latex:
thr[A;B]  |=  bs  ==    bs  A  B  es  thr


Date html generated: 2016_05_17-PM-00_40_53
Last ObjectModification: 2012_08_30-PM-04_31_47

Theory : event-logic-applications


Home Index