This is an old revision of this page, as edited by The Cunctator(talk | contribs) at 06:45, 30 October 2002(This needs an entry, I think. Maybe natural deduction->here.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 06:45, 30 October 2002 by The Cunctator(talk | contribs)(This needs an entry, I think. Maybe natural deduction->here.)
