Category Archives: Books

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

Posted in Books | Leave a comment

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

Posted in Books, Logic | Leave a comment

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

Posted in Books, Logic | Leave a comment

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

Posted in Books, Logic | Leave a comment

The Open Logic Text

As you will very probably have already seen, The Open Logic Project (a team of serious and good people) has now made available an early public version of an open-source collaborative logic text, somewhat ploddingly called the Open Logic Text.  There are two … Continue reading

Posted in Books, Geek stuff, Logic | 11 Comments

Barnaby Sheppard’s The Logic of Infinity — website

I haven’t yet reviewed Barnaby Sheppard’s The Logic of Infinity (CUP 2104) here — and I don’t know if I will, for even if time may be infinite, that allotted to me certainly isn’t! But when I dipped into the book, … Continue reading

Posted in Books, Logic | 1 Comment

Brilliant indeed

I was going to post about the delights of Amsterdam as a place to visit for a week — the cityscapes, the cafes, the restaurants, the museums large and small, the whole urban experience, all even better than we had … Continue reading

Posted in Books, Italian matters | 3 Comments