The Miser Project

astraendo
Folio Catalog

miser>
astraendo>

A000001>
2006-06-06 -13:36 -0700

This is the complete catalog of folios on the relationship among abstraction, formal axiomatics, and systems of computation.  This is separated from the materials on Miser itself, allowing separate discussion and motivation of abstractions and their software manifestations.  The Numbering Peano blog is part of this material.

ID

 About Status Created Summary Title
A000000 Tasks current
2006-06-06		 2004-06-03 Job Jar & Diary
A000001 Catalog current
2006-06-06		 2004-06-03 Blog Catalog (this page)
         
         
         
         
         
A060601 PA placeholder 2006-06-06 Peano Arithmetic
         
A040601 Project placeholder 2004-06-03 Numbering Peano Discussion Project
         

Construction Zone (Hard Hat Area)

 You are navigating the Miser Project.

created 2004-06-03-12:04 -0700 (pdt) by orcmid
$$Author: Orcmid $
$$Date: 06-06-06 13:36 $
$$Revision: 6 $
Home