2012-08-18
		22:38 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 goals-logicGoals