Order from a Major Online Bookstore
Ultimate Book Price Comparison Engine
Save Your Time And Money
| AnyBook4Less.com | Order from a Major Online Bookstore |
|
| Home | Store List | FAQ | Contact Us | | ||
| Ultimate Book Price Comparison Engine Save Your Time And Money |
||
 |
Title: Language, Proof, and Logic by Jon Barwise, John Etchemendy, Gerard Allwein, Dave Barker-Plummer, Albert Liu ISBN: 1-889119-08-3 Publisher: C S L I Publications Pub. Date: January, 2000 Format: Paperback Volumes: 1 List Price(USD): $59.95 |
Average Customer Rating: 4.33 (6 reviews)
Rating: 3
Summary: Software can only be used once
Comment: I bought a used copy of the book and software at the beginning of the term, for a class. Now that we're starting it, I find out that a) we will be using the CD's software, including the online grading service, and therefore b) the copy I bought is useless to me.
The grading service records one email address (i.e. that of the previous owner) per book number. That email, necessary for submitting homework and for sending you the results, cannot ever be changed. In my case, it turns out the CD (which includes a .pdf copy of the textbook anyway) was the important part of the purchase . . . and will not work since it's been used before.
So be warned: don't buy the package used if you will need the software.
Rating: 5
Summary: Software is frustrating but ultimately helpful
Comment: Stanford uses this book in its two introductory philosophy classes (philosophy 57 and phil 159). It is appropriate for students without much exposure to math or computer science, as it is very verbose--much more so than Enderton's _Mathematical Logic_ for example.
Students found the software initially frustrating, and the instructor interface can also be harder to use than it should be, but in the end it is worth it. I handed out a survey at the end of one course and the students generally thought the software was helpful and shouldn't be omitted. Showing the students what to do can be helpful. I just took part of a class period and went through (using laptop+projector) installing the software, building a world, writing a sentence, submitting a few exercises, and getting feeback by email.
Oh, and even if the software [was bad], instructors w/o TAs would probably still love it, as 2/3rds of the exercises can be graded automatically.
Rating: 5
Summary: excellent logic text with super software, exercises
Comment: This text is written in a very clear (shall I say logical?) manner. It covers all a first order logic course can consider.
The exercises are very well thought out and doing them gives the reader a thorough understanding of the subject matter in a chapter.
I disagree with another reviewer (John Rocklin) who did not like the software. There are adequate help files (he said there were none). The software is understandable, especially with 1) using it, 2) help files and 3) manual. It is extraordinarily useful to construct a "world" in which to test the truth of logical statements, prove the truth of a series of statements and devive a truth table for a given statement. The opportunity to send exercise answer files over the net and have them graded in minutes is a great feedback mechanism. The student can send files for grading until they are correct and then also send them to the professor for credit.
All in all, highly recommended.
 |
Title: Introduction to the Theory of Computation by Michael Sipser ISBN: 053494728X Publisher: Brooks Cole Pub. Date: 13 December, 1996 List Price(USD): $103.95 |
 |
Title: Mandatory Package: Discrete Mathematics and Its Applications by Kenneth H. Rosen ISBN: 0072930330 Publisher: McGraw-Hill Science/Engineering/Math Pub. Date: 22 April, 2003 List Price(USD): $126.40 |
 |
Title: Logic: A Very Short Introduction by Graham Priest ISBN: 0192893203 Publisher: Oxford University Press Pub. Date: January, 2001 List Price(USD): $9.95 |
 |
Title: Introductory Modal Logic by Kenneth Konyndyk ISBN: 0268011591 Publisher: Univ of Notre Dame Pr Pub. Date: May, 1986 List Price(USD): $17.50 |
 |
Title: Philosophical Writing: An Introduction by Aloysius P. Martinich ISBN: 0631202811 Publisher: Blackwell Publishers Pub. Date: January, 1997 List Price(USD): $22.95 |
Thank you for visiting www.AnyBook4Less.com and enjoy your savings!
Copyright� 2001-2021 Send your comments
