Global Utilities

This collection of miscelleous bits and pieces is still under development.

Deductive Logic

Extended propositional logic written in itself

Computation

A queue machine for evaluating expressions