122331

9781575863740

Language, Proof and Logic
Language, Proof and Logic
$72.51
$3.95 Shipping
  • Condition: New
  • Provider: Ergodebooks Contact
  • Provider Rating:
    83%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Buy with confidence. Excellent Customer Service & Return policy. Ships Fast. Expedite Shipping Available.

   30-day money back guarantee
$0.01
$3.95 Shipping
List Price
$65.00
Discount
99% Off
You Save
$64.99

  • Condition: Very Good
  • Provider: HippoBooks Contact
  • Provider Rating:
    83%
  • Ships From: Multiple Locations
  • Shipping: Standard
  • Comments: Our feedback rating says it all: Five star service and fast delivery! We have shipped four million items to happy customers, and have millions of unique items ready to ship today!

   30-day money back guarantee
$15.00
$3.95 Shipping

Your due date: 12/14/2016

How do rentals work?
$65.00
List Price
$65.00
Discount
76% Off
You Save
$50.00

  • Condition: Acceptable
  • Provider: CampusBookRentals Contact
  • Provider Rating:
    93%
  • Ships From: Ogden, UT
  • Shipping: Standard, Expedited (tracking available)
  • 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 voice? Call us toll free anytime at 855-200-0021 or email us at valore@CampusBookR

   30-day money back guarantee

Ask the provider about this item.

Most renters respond to questions in 48 hours or less.
The response will be emailed to you.
Cancel
  • ISBN-13: 9781575863740
  • ISBN: 157586374X
  • Publisher: Univ of Chicago Pr

AUTHOR

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 ' with ISBN 9781575863740 and ISBN 157586374X.

[read more]

Questions about purchases?

You can find lots of answers to common customer questions in our FAQs

View a detailed breakdown of our shipping prices

Learn about our return policy

Still need help? Feel free to contact us

View college textbooks by subject
and top textbooks for college

The ValoreBooks Guarantee

The ValoreBooks Guarantee

With our dedicated customer support team, 30-day no-questions-asked return policy, and our price match guarantee, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.