Big monkey, logic book

Wed 14 May 2008 11:13 AM

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."