### Pages

### Posts feed

### Archives

### Recent Comments

- Clea F. Rees on 4. Tree proofs
- Jon Awbrey on Symbol for assignment of a truth-value?
- David Auerbach on Symbol for assignment of a truth-value?
- David Makinson on Symbol for assignment of a truth-value?
- Daniel Nagase on Symbol for assignment of a truth-value?

### Logic/Maths blogs

### Musicians' sites

### Some other blogs

### Last Tweets

- Logic people might be interested in a PDF of an (old) biblio of Georg Kreisel … https://t.co/HnOdqqdR5W, 21 hours ago
- RT @Vella_Schiavo: “Tu non fai che cercar di tamponare la solitudine che sfugge da tutte le parti.” John Steinbeck ~ (Quel fantast… https://t.co/Sqqw9Mbxl9, Jan 19
- Logic people … what [metalanguage] symbol do you like to use for assigning a truth value to a wff??? https://t.co/OlouUTAzh0, Jan 13
- My version of dry January was to be not reading anything about blasted Br*x*t this month. Huh. Not going too well … I need to get a grip!, Jan 12
- RT @JoWolffBSG: Suppose you read a book a fortnight. And have an active adult reading life of 60 years. So that's only 1560 books i… https://t.co/8LI4iA7kDh, Jan 12

# 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

Posted in Books, Logic
Leave a comment

## 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