Formal Formulations

Exchanging Values
[ Introduction ][ Theorem ]
[ First Assignment ][ Second Assignment ][ Third Assignment ]

Other Links
[ Non-Numerical Arithmetic ][ Boundary Mathematics ]
[ Java Meets the Laws of Form ][ Form and Substance ]