10 August 2006

The Σ calculus Part 2

Formulae (3) and (4) relate quantifications with the same range. (4) has an analogue for different ranges.

Continued

0 Comments:

Post a Comment

<< Home