Version 1 of predicate logic

Updated 2005-12-31 00:37:43

See Playing Predicate Logic (for now)