On Tue, Jan 02, 2001 at 05:14:58PM -0800, Joey Hess wrote: > > On Tue, Jan 02, 2001 at 09:17:54PM +0100, Goswin Brederlow wrote: > > > Maybe you can find some webpage describing such reductions to this > > > standard form (whatever that then is). > > > > I couldn't find a good one, so I wrote my own. > > Wouldn't a reference to a good book on discrete math/logic be > sufficient?
I couldn't find a good online description, and I hate being refered to offline material that I don't have. If this would be preferable, I'll look through my logic books and see if any are particularly lucid on this point. Matt
