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

[quantumdude]

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/
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?

 

[neurocomp2003]

software that comes with a logic book? cool what's on it? How much is the book (CDN$)? And is it like any other language theory and computability book or is it pure logic?

 

[quantumdude]

software that comes with a logic book? cool what's on it?

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.

How much is the book (CDN$)?

Here's the ad at Amazon:
https://www.amazon.com/gp/product/157586374X/?tag=pfamazon01-20

And is it like any other language theory and computability book or is it pure logic?

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.

 

[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?

 

[quantumdude]

The subject of the book is first order logic, and the authors do consider it a language.

 

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