# Category Archives: Books

## Book Note: Tony Roy, Symbolic Logic, #3

After a longer than intended gap, I return to consider Parts III and IV of Tony Roy’s freely available  Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic. The previous two , rather lukewarm, instalments discussing Parts I and II are here and here (but do please … Continue reading

## Sic transit …

The flood of freely available downloads of pre-2005 mathematics and philosophy books from Springer — including many logical classics, for which I posted a couple of very partial “taster menus” here — didn’t last long! Two days on, the free downloads are … Continue reading

## Book Note: Leary and Kristiansen, A Friendly Introduction …

I’ll return to say more about Tony Roy’s text in a day or two, but here is a new version of my earlier Book Note on the ‘Friendly Introduction to Mathematical Logic’, revised to take into account the expanded second edition. As you will … Continue reading

## Book Note: Tony Roy, Symbolic Logic, #1

Tony Roy (Philosophy, California State University, San Bernardino) has generously made available his Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic. I’m commenting here on the version of October 6, 2015. The full main text is no less than 746 pages … Continue reading

## Book Note: The Open Logic Text, #2

I’m trying to think about how OLT would work if read, as is, by a student as a stand-alone text, as an introduction to its topics. That is, of course, a quite different issue from e.g. the question of how useful … Continue reading

Posted in Books, Logic | 6 Comments

## Book Note: The Open Logic Text, #1

It has been nine months since I really looked at the Teach Yourself Logic 2015 Study Guide. It’s time to start thinking about a 2016 update. So over the coming weeks I’ll be tinkering with the current version, while reading, dipping, … Continue reading

Posted in Books, Logic | 14 Comments

## A Friendly Introduction to Mathematical Logic

If you have read the Teach Yourself Logic 2015 Study Guide, then you will know that I there particularly recommend as an admirably lucid and, yes, friendly introduction to first-order logic Christopher Leary’s 2000 book, A Friendly Introduction to Mathematical … Continue reading

Posted in Books, Logic | 4 Comments

## Tony Roy: Symbolic Logic

Tony Roy has kindly alerted me to the existence of his freely available Symbolic Logic: An Accessible Introduction to Serious Mathematical Logic. It is now in version 7.1, so I guess I should have discovered this before! It looks, at a quick first glance, … Continue reading