# Who's got Language, Proof, and Logic by Barwise and Etchemendy?

1. Jan 12, 2006

### Tom Mattson

Staff Emeritus
As I noted in my latest Journal entry, I am going back to school next Fall for an MS degree in mathematics. There are some courses I feel that I can safely skip if I do some independent review, and the "Foundations of Mathematics" is one of them.

To help enable me to do this, I would like to start a group study of the LPL book. Does anyone else out there have it? There are various resources available online, such as...

Lecture Notes based on the book.
The Complete Book in PDF Form (caution: it's a whopping 3.72 MB)

However, you do have to have the book and the software that comes with it to do the exercises.

So, who's interested?

Last edited: Jan 12, 2006
2. Jan 12, 2006

software that comes with a logic book? cool whats on it? How much is the book (CDN$)? And is it like any other language theory and computability book or is it pure logic? 3. Jan 12, 2006 ### Tom Mattson Staff Emeritus There are 4 programs on the CD, each of which perform a different function in the homework exercises. One evaluates truth tables and another evaluates formal proofs for validity. I don't know what the other two do, because I haven't started playing with them yet. But I do know that you can send your solutions to the LPL homepage and their "Grade Grinder" will automatically and instantly grade your homework for you. Here's the ad at Amazon: http://www.amazon.com/gp/product/157586374X/002-8359838-2625653?v=glance&n=283155 The textbook itself is actually available online for free. I've just added a link to it in my first post, in case anyone wants to thumb through it. I guess the authors aren't too concerned about anyone getting the book for free since it isn't of much use without the CD. Last edited: Jan 12, 2006 4. Jan 12, 2006 ### neurocomp2003 tahts an expensive book...for the jist of it, it looks like a book on formal logic...how does the language part play into it(my conception of language comes from that seen in language theory in computational studies ie FSM/PDAs/TURING) is there more to language theory then those that i listed? 5. Jan 13, 2006 ### Tom Mattson Staff Emeritus The subject of the book is first order logic, and the authors do consider it a language. 6. Jan 18, 2006 ### Royce I just went to the link. Clicked on "used" and bought one in very good condition with the CD for$3.08. Not bad if you don't insist on NEW.
I've bought a number of used books and CD's from Amazon and have never been disppointed.