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