Changes

==Note 4==

==Note 4==

I am preparing a more fleshed-out 1-variable example, but in the mean time, for anybody who's finished all that other reading, there is a more detailed account of differential logic at the following thread heads:

I am preparing a more fleshed-out 1-variable example,

but in the mean time, for anybody who's finished all

that other reading, there is a more detailed account

of differential logic at the following thread heads:

DLOG D.  http://stderr.org/pipermail/inquiry/2003-May/thread.html#478

:* [http://stderr.org/pipermail/inquiry/2003-May/thread.html#478 Differential Logic D-a]

DLOG D.  http://stderr.org/pipermail/inquiry/2003-June/thread.html#553

:* [http://stderr.org/pipermail/inquiry/2003-June/thread.html#553 Differential Logic D-b]

For future reference, here are a couple of handy rosetta stones

For future reference, here are a couple of handy rosetta stones for translating back and forth between different notations for the boolean functions <math>f : \mathbb{B}^k \to \mathbb{B},</math> where <math>k = 1, 2.\!</math>

for translating back and forth between different notations for

the boolean functions f : B^k -> B, where k = 1, 2.

DLOG D11.  http://stderr.org/pipermail/inquiry/2003-May/000489.html

:*[http://stderr.org/pipermail/inquiry/2003-May/000489.html Differential Logic D.11]

==Note 5==

==Note 5==