[FOM] RE: FOM FTGI Boolean Lattices

Vaughan Pratt pratt at cs.stanford.edu
Mon Apr 28 05:04:54 EDT 2003

I should add that the LICS'95 paper I cited in my previous message can
be downloaded as


The page numbering is different: Theorem 5 is on page 10.


More information about the FOM mailing list