FOM: signature; Boolean rings; Pratt's rewrite

Vaughan Pratt pratt at cs.Stanford.EDU
Thu Mar 19 21:09:13 EST 1998


Ok, Steve, I think we've convinced everyone that you can resolve important
distinctions between Boolean algebras and Boolean rings that I can't.
More than a week ago I imagine.

Vaughan Pratt



More information about the FOM mailing list