Language, Proof and Logic, Textbook ONLY

Jon Barwise

Published by Center for the Study of Langua
ISBN 10: 6661575743 / ISBN 13: 9786661575743
Used / Paperback / Quantity Available: 0
Available From More Booksellers
View all  copies of this book

About the Book

We're sorry; this specific copy is no longer available. AbeBooks has millions of books. We've listed similar copies below.

Description:

Good clean copy with no missing pages might be an ex library copy; Possibly may have minor marginal notes and or highlighting. Bookseller Inventory #

About this title:

Book ratings provided by Goodreads:
3.56 avg rating
(114 ratings)

Synopsis: his 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.

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: Language, Proof and Logic, Textbook ONLY
Publisher: Center for the Study of Langua
Binding: Paperback
Book Condition: GOOD

Top Search Results from the AbeBooks Marketplace

1.

Jon Barwise
Published by Center for the Study of Langua
ISBN 10: 6661575743 ISBN 13: 9786661575743
Used Quantity Available: 1
Seller:
FirstClassBooks
(Little Rock, AR, U.S.A.)
Rating
[?]

Book Description Center for the Study of Langua. Book Condition: Good. Used books cannot guarantee unused access codes or working CD's! Ships fast. Ships fast! Ships from USA!. Bookseller Inventory # BZ-OPB-168-10347

More Information About This Seller | Ask Bookseller a Question

Buy Used
US$ 6.44
Convert Currency

Add to Basket

Shipping: US$ 4.00
Within U.S.A.
Destination, Rates & Speeds