Nuprl Definition : System

System ==  node List


Definitions occuring in Statement :  node: node,  list: T List
Definitions occuring in definition :  list: T List,  node: node
FDL editor aliases :  System
Latex:
System  ==    node  List


Date html generated: 2019_10_16-AM-11_24_15
Last ObjectModification: 2019_05_04-PM-05_14_46

Theory : dynamic!logic


Home Index