2014-07-12
		05:06 UTC Revision 1 . . . . BayleShanks – read all of Enderton typeset and read and understand my Feferman notes read and understand all Pratt's course notes (universal algebra, category . . .

History of proj-logicGoals