a140101 Astraendo Topic Mathematical-Logic Notation

miser>astraendo> 2014>01> a140101> 0.00 2014-01-29 -20:12 -0800

This is an initial placeholder.  It is prepared for the addition of initial content.

• a140101b: Notation Summary [latest]
• a140101c: Notation Summary
• a140101a: Diary & Job Jar

0.00 2006-06-06-13:02 Create initial placeholder for project (orcmid)

Establish a summary and description for the specific mathematical-logic notation used for the Miser Project and the discussion of mathematical-logical abstractions.  This is slanted to the notation used in Keith Devlin's "Introduction to Mathematical Thinking" course on Coursera.