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

http://www-csli.stanford.edu/LPL/ [Broken]
Lecture Notes based on the book.
http://ssdi.di.fct.unl.pt/lei/lc/0102/lpl textbook.pdf 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 by a moderator: May 2, 2017
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: https://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 by a moderator: Apr 21, 2017 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.