a140101 Astraendo Topic Mathematical-Logic Notation Notation Summary

miser>astraendo> 2014>01> a140101c> 0.00 2014-01-29 -20:11 -0800

{Ed.Note: This is the place for a basic summary of the logical notation.  Other pages will expand on some of the operations and notational nuances.  There will also be expansion for other specialized notations from equational notations and operations of particular abstractions.  These are for different logical-theory formulations, Lt, in the kinds of structures to be addressed here.}

Sources

0.00 2006-06-06-13:49 Initial Diary placeholder (orcmid)

 Customize as the basic placeholder for the article and hold initial notes.

You are navigating the Miser Project.

created 2014-01-29-20:01 -0800 (pst) by orcmid $$Author: Orcmid $ $$Date: 17-08-29 16:40 $ $$Revision: 21 $