Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
Language, Proof, and Logic by Jon Barwise: Used
US $11.30
ApproximatelyRM 47.71
Condition:
Good
A book that has been read but is in good condition. Very minimal damage to the cover including scuff marks, but no holes or tears. The dust jacket for hard covers may not be included. Binding has minimal wear. The majority of pages are undamaged with minimal creasing or tearing, minimal pencil underlining of text, no highlighting of text, no writing in margins. No missing pages.
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
Free Standard Shipping.
Located in: Sparks, Nevada, United States
Delivery:
Estimated between Thu, 31 Jul and Tue, 5 Aug to 94104
Returns:
30 days return. Buyer pays for return shipping. If you use an eBay shipping label, it will be deducted from your refund amount.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Seller assumes all responsibility for this listing.
eBay item number:403997155450
Item specifics
- Condition
- Book Title
- Language, Proof, and Logic
- Publication Date
- 2002-12-01
- Pages
- 587
- ISBN
- 9781889119083
About this product
Product Identifiers
Publisher
CQ Press
ISBN-10
1889119083
ISBN-13
9781889119083
eBay Product ID (ePID)
102852877
Product Key Features
Number of Pages
530 Pages
Language
English
Publication Name
Language, Proof and Logic
Subject
General
Publication Year
1999
Type
Textbook
Subject Area
Philosophy
Format
Trade Paperback
Dimensions
Item Height
1.7 in
Item Weight
43.3 Oz
Item Length
9.3 in
Item Width
7.8 in
Additional Product Features
Intended Audience
College Audience
LCCN
99-041113
Dewey Edition
21
Illustrated
Yes
Dewey Decimal
160
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 will be available on both Windows and Macintosh OS. Instructors do not need to use the programs themselves in order to be able to take advantage of their pedagogical value. 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., A textbook designed for interaction between software and text exercises in concepts of logic, language, truth, argument, consequence, proof, and counter-example.
LC Classification Number
BC61. B38 1999
Item description from the seller
Seller feedback (513,017)
- 7***u (2445)- Feedback left by buyer.Past monthVerified purchaseQuick delivery
- r***a (212)- Feedback left by buyer.Past monthVerified purchaseExcellent seller
- r***a (1190)- Feedback left by buyer.Past monthVerified purchaseGreat product at a great price. Thanks!
Seller feedback (513,017)
- 7***u (2445)- Feedback left by buyer.Past monthVerified purchaseQuick delivery
- r***a (212)- Feedback left by buyer.Past monthVerified purchaseExcellent seller
- r***a (1190)- Feedback left by buyer.Past monthVerified purchaseGreat product at a great price. Thanks!