Nuprl Definition : mk-pa

n(v) ==  <n, v>


Definitions occuring in Statement :  pair: <a, b>
FDL editor aliases :  mk-pa
Latex:
n(v)  ==    <n,  v>


Date html generated: 2016_05_17-PM-00_39_28
Last ObjectModification: 2012_08_30-PM-04_31_01

Theory : event-logic-applications


Home Index