Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Language, Proof and Logic: Text and CD by Barwise, Jon; Etchemendy, John
by Barwise, Jon; Etchemendy, John | PB | Good
US $7.81
Condition:
“Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, ”... Read moreabout condition
2 available5 sold
- Buy It NowLanguage, Proof and Logic: Text and CD by Barwise, Jon; Etchemendy, John
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Economy Shipping.
Estimated between Mon, Nov 17 and Sat, Nov 22 to 94104
Located in: Aurora, Illinois, United States
Returns:
30 days returns. Seller pays for return shipping.
Payments:
Special financing available. See terms and apply now- for PayPal Credit, opens in a new window or tab
Earn up to 5x points when you use your eBay Mastercard®. Learn moreabout earning points with eBay Mastercard
Shop with confidence
About this item
Seller assumes all responsibility for this listing.
eBay item number:143990772346
Item specifics
- Condition
- Good
- Seller Notes
- Binding
- Paperback
- Book Title
- Language, Proof and Logic
- Weight
- 2 lbs
- Product Group
- Book
- IsTextBook
- Yes
- ISBN
- 9781575863740
- Subject Area
- Mathematics, Computers, Philosophy
- Publication Name
- Language, Proof and Logic : Text and CD
- Publisher
- Csli Publications/Center for T.H.E. Study of Language & Information
- Item Length
- 9.2 in
- Subject
- General, Logic
- Publication Year
- 2002
- Type
- Textbook
- Format
- Mixed Lot
- Language
- English
- Item Height
- 1.7 in
- Item Weight
- 44 Oz
- Item Width
- 7.7 in
- Number of Pages
- 598 Pages
About this product
Product Identifiers
Publisher
Csli Publications/Center for T.H.E. Study of Language & Information
ISBN-10
157586374X
ISBN-13
9781575863740
eBay Product ID (ePID)
15038828207
Product Key Features
Number of Pages
598 Pages
Publication Name
Language, Proof and Logic : Text and CD
Language
English
Publication Year
2002
Subject
General, Logic
Type
Textbook
Subject Area
Mathematics, Computers, Philosophy
Format
Mixed Lot
Dimensions
Item Height
1.7 in
Item Weight
44 Oz
Item Length
9.2 in
Item Width
7.7 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
99-041113
Dewey Edition
21
Dewey Decimal
160
Table Of Content
This package contains: - The Language, Proof and Logic textbook - An updated and enhanced version of the award-winning Tarski's World program, that teaches the basics of first-order logic - Fitch , a new program that allows the creation and checking of natural deduction proofs - Boole , a new program that facilitates the creation of truth tables - Submit , an online grading facility that allows students to submit solutions to hundreds of computer-based exercises for immediate assessment - The complete manuscript of the text in Adobe PDF format - LPL Software Manual All programs are cross-platform. There is no need to purchase separate Macintosh and Windows versions. Additional material and technical support are available at cslipublications.stanford.edu/LPL
Synopsis
This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable., This textbook/software package covers first-order language in a method appropriate for first and second courses in logic. The unique on-line grading services instantly grades solutions to hundred of computer exercises. It is specially devised to be used by philosophy instructors in a way that is useful to undergraduates of philosophy, computer science, mathematics, and linguistics. The book is a completely rewritten and much improved version of The Language of First-order Logic. Introductory material is presented in a more systematic and accessible fashion. Advanced chapters include proofs of soundness and completeness for propositional and predicate logic, as well as an accessible sketch of Godel's first incompleteness theorem. The book is appropriate for a wide range of courses, from first logic courses for undergraduates (philosophy, mathematics, and computer science) to a first graduate logic course. The package includes four pieces of software: Tarski's World 5.0, a new version of the popular program that teaches the basic first-order language and its semantics; Fitch, a natural deduction proof environment for giving and checking first-order proofs; Boole, a program that facilitates the construction and checking of truth tables and related notions (tautology, tautological consequence, etc.); Submit, a program that allows students to submit exercises done with the above programs to the Grade Grinder, the automatic grading service. Grade reports are returned to the student and, if requested, to the student's instructor, eliminating the need for tedious checking of homework. All programs are available for Windows, Macintosh and Linux systems.Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. More about the software can be found at lpl.stanford.edu. The price of a new text/software package includes one Registration ID, which must be used each time work is submitted to the grading service. Once activated, the Registration ID is not transferable."
LC Classification Number
BC61
Item description from the seller
Seller feedback (5,966,772)
- e***a (271)- Feedback left by buyer.Past monthVerified purchaseOrdered from USA and arrived to me in UK about 10 days later. Book appropriately packaged and mostly as described. Was missing the cd as listed but communication with the seller was friendly and polite if not a little confusing - partial refunds are only offered after you start the formal eBay return request process, they aren't capable of giving refunds after simple messaging to customer service. All in all though, great value and a positive transaction. Would interact again 👍
- e***- (123)- Feedback left by buyer.Past 6 monthsVerified purchaseUnfortunately I received a damaged book, the item and the package both were damaged and it was clearly evident its appearance that it happened during transit. The seller was very understanding and gave me a full refund for the damaged book, though it was no fault of their own. Other than the damage, the book was as described, the quality and condition aside from the damaged spot was like new. The cost of the book was reasonable. I would definitely purchase from the seller again.
- 7***j (871)- Feedback left by buyer.Past monthVerified purchaseI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service.
More to explore :
Seller feedback (5,966,772)
- e***a (271)- Feedback left by buyer.Past monthVerified purchaseOrdered from USA and arrived to me in UK about 10 days later. Book appropriately packaged and mostly as described. Was missing the cd as listed but communication with the seller was friendly and polite if not a little confusing - partial refunds are only offered after you start the formal eBay return request process, they aren't capable of giving refunds after simple messaging to customer service. All in all though, great value and a positive transaction. Would interact again 👍
- e***- (123)- Feedback left by buyer.Past 6 monthsVerified purchaseUnfortunately I received a damaged book, the item and the package both were damaged and it was clearly evident its appearance that it happened during transit. The seller was very understanding and gave me a full refund for the damaged book, though it was no fault of their own. Other than the damage, the book was as described, the quality and condition aside from the damaged spot was like new. The cost of the book was reasonable. I would definitely purchase from the seller again.
- 7***j (871)- Feedback left by buyer.Past monthVerified purchaseI recently purchased an item from this eBay seller, and I couldn't be happier with the experience. From the prompt communication to the fast shipping, everything was handled with utmost professionalism. The item arrived exactly as described and was well packaged to ensure its safety during transit. The seller was courteous and responsive, making the entire transaction smooth and hassle-free. I highly recommend this seller to anyone looking for quality products and excellent service.