Nuprl Definition : pizero

pizero() ==  <"zero", ⋅>



Definitions occuring in Statement :  it: pair: <a, b> token: "$token"
FDL editor aliases :  pizero

Latex:
pizero()  ==    <"zero",  \mcdot{}>



Date html generated: 2016_05_17-AM-11_20_53
Last ObjectModification: 2014_05_04-PM-08_18_40

Theory : event-logic-applications


Home Index