Nuprl Definition : classical
{P} == {x:Unit| P}
Definitions occuring in Statement :
unit: Unit,
set: {x:A| B[x]}
Definitions occuring in definition :
set: {x:A| B[x]} ,
unit: Unit
FDL editor aliases :
classical
Latex:
\{P\} == \{x:Unit| P\}
Date html generated:
2016_05_13-PM-03_16_25
Last ObjectModification:
2016_01_04-AM-10_26_51
Theory : core_2
Home
Index