This is an old revision of this page, as edited by Vaughan Pratt(talk | contribs) at 04:08, 16 August 2007(Redirected to Residuated Boolean algebra). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 04:08, 16 August 2007 by Vaughan Pratt(talk | contribs)(Redirected to Residuated Boolean algebra)
