Kirk Rader  1.0-SNAPSHOT
Symbolic Logic

This section began as an informal tutorial on the monadic predicate calculus presented to a group of co-workers, at their request.

No, really!