Axioms and Theorems for Integers, Lists and Finite Sets in Logic for ...
... union of all the sets that are in X; ii) ln(X) is the n-way intersection of ... null(NIL) E atoin(NIL) E head(NIL) E tail(NIL) a. headiX) a UU tail(X) E UU. X ... 
Autres Cours:
