User talk:Michael Gelfond/Draft ASSemantics

TO DO LIST

 * finish text
 * all math to Latex
 * insert links to other articles
 * references