Big monkey, logic book

Rob Helpy-Chalk runs down the options for open access logic books, including forall x. He concludes, "Heck, the Magnus book looks like just the item. That was quick."

Wed 14 May 2008 11:13 AM