30-Day No-Hassle Returns
We guarantee your satisfaction on every purchase or rental with a full refund within 30 days of your purchase date.
Fast Customer Service
If you need help, our friendly customer service team is here to help!
The Best Prices on Textbook Rentals, Guaranteed
You can shop with confidence with the best rental prices at ValoreBooks.com. If you find a lower priced rental, we will match it.
 
You can save by renting this book!
Language, Proof and Logic
Language, Proof and Logic
Rent It
$19.99
RENT IT
0 items in your cart

Language, Proof and Logic

Author: 


ISBN-13: 

9781575863740


ISBN: 

157586374X


Publisher:  Univ of Chicago Pr
Summary: 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.

Barwise, Jon is the author of Language, Proof and Logic, published under ISBN 9781575863740 and 157586374X. Two hundred fifty Language, Proof and Logic textbooks are available for sale on ValoreBooks.com, forty nine used from the cheapest price of $0.01, or buy new starting at $48.08.
 [read more]

Marketplace Prices
1 New from $48.08 49 Used from $0.01 2 Alternate from $0.01 198 Rental from $19.99
  • Rent $19.99
  • Used $0.01
  • New $48.08
  • Alternate $0.01
$19.99 $3.95 Shipping
List Price
$65.00
Discount
69% off
You Save
$45.01
Language, Proof and Logic Rental Terms
Due Date: 04/02/15
How do textbook rentals work?
Item Details
Condition: Used - Very Good Renter: Renter Rating: (3,357) 89%
Recommended Seller
Ships From: Multiple Locations Shipping: Standard Comments: RENTAL: Supplemental materials are not guaranteed (access codes, DVDs, workbooks). High-quality textbook rentals since 2006. We do not ship to Alaska, Hawaii or any off-shore terri... [more] RENTAL: Supplemental materials are not guaranteed (access codes, DVDs, workbooks). High-quality textbook rentals since 2006. We do not ship to Alaska, Hawaii or any off-shore territories. [less]
30 Day Money Back Guarantee Learn More
Price + Shipping
Condition
Details
Recommended
Rentals
(198 from $19.99)  Supplemental materials are not guaranteed for rentals
$19.99
+ $3.95 shipping
Rental
Very Good
  • Term:
  • Due Date:
    04/02/15
Rental Steps How Does the Rental Process Work?
$21.15
+ $3.95 shipping
Rental
Acceptable
  • Renter: CampusBookRentalsThis seller provides order tracking
  • Renter Rating: (2,304) 93%Recommended Seller
  • Ships from: Ogden, UT
  • Shipping Methods: Standard, Expedited
  • Comments:
    We serve students on over 5,871 college campuses every semester! Highlighting and writing is OK! Get a tracking number with every order. Questions? Or just want to hear our vo [more]

  • Contact renter about this item
  • Term:
  • Due Date:
    04/02/15
Rental Steps How Does the Rental Process Work?
Alternate
(2 from $0.01)  IMPORTANT - Be sure to review seller comments carefully
Product Details
Language, Proof and Logic

ISBN-13: 9781575863740


ISBN: 157586374X


Publisher: Univ of Chicago Pr
ValoreBooks.com is the best place for cheap Language, Proof and Logic rentals, or used and new condition books available to purchase and have shipped quickly.
Where's My Stuff?
Shipping & Returns