Picture 1 of 1

Stock photo

Jon Barwise John Etchemendy David Barker-Plu Language, Proof, and L (Paperback) - Picture 1 of 1

Language, Proof, and Logic: Second Edition by David Barker-Plummer, John Etchemendy, Jon Barwise (Paperback, 2011)

Be the first towrite a review.

Rarewaves Outlet (1131352)
98.2% positive Feedback

Price:

AU $232.40

Free postage

Estimated delivery Wed, 15 May - Mon, 27 May

Returns:

No returns, but backed by eBay Money Back GuaranteeeBay Money Back Guarantee.

Condition:

Brand new

Publisher: Centre for the Study of Language & Information. Title: Language, Proof, and Logic. Genre: Language & Reference. Format: Paperback. Language: English. Subtitle: Second Edition. Country/Region of Manufacture: US.

About this product

Product Information

Language Proof and Logic is available as a physical book with the software included on CD and as a downloadable package of software plus the book in PDF format. The all-electronic version is available from Openproof at ggweb.stanford.edu. The textbook/software package covers first-order language in a method appropriate for first and second courses in logic. An on-line grading services instantly grades solutions to hundred of computer exercises. It is designed to be used by philosophy instructors teaching a logic course to undergraduates in philosophy, computer science, mathematics, and linguistics. Introductory material is presented in a 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 software package includes four programs: 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.

Product Identifiers

Publisher
Centre for the Study of Language & Information
ISBN-13
9781575866321
eBay Product ID (ePID)
108633460

Product Key Features

Book Title
Language, Proof, and Logic: Second Edition
Author
David Barker-Plummer, John Etchemendy, Jon Barwise
Format
Paperback
Language
English
Topic
Popular Philosophy
Publication Year
2011
Number of Pages
650 Pages

Dimensions

Item Height
235mm
Item Width
198mm
Item Weight
1134g

Additional Product Features

Title_Author
David Barker-Plummer, John Etchemendy, Jon Barwise
Country/Region of Manufacture
United States

No ratings or reviews yet.No ratings or reviews yet.

Be the first to write a review.

Best Selling in Books

See all

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Best Selling in Books

Australian Bushcraft by Richard Graves (Paperback, 2019)
4.5 out of 5 stars based on 4 product ratings
AU $32.59 New
AU $30.00 Used
Gods of Eden by William Bramley (Paperback, 1993)
4.9 out of 5 stars based on 22 product ratings
AU $22.14 New
AU $9.95 Used
The Acid Watcher Diet: A 28-Day Reflux Prevention and Healing Program by Jonathan Aviv (Paperback, 2017)
4.9 out of 5 stars based on 11 product ratings
AU $40.18 New
---- Used
Learn to Read Hebrew in 6 Weeks by Miiko Shaffier (Paperback, 2016)
No ratings or reviews yet.
AU $41.18 New
---- Used
Conversations with Phantoms: Exclusive Interviews About the 1978 TV Movie, Kiss Meets the Phantom of the Park by Ron Albanese (Paperback, 2020)
No ratings or reviews yet.
AU $21.99 New
AU $9.99 Used

Save on Books

Current slide {CURRENT_SLIDE} of {TOTAL_SLIDES}- Save on Books

Frank Herbert'S Dune Saga 3-Book Boxed Set: Dune, Dune Messiah, & Children Dune
AU $44.95
Trending at AU $48.47
Jethro Kloss Back to Eden (Paperback)
AU $34.17
Trending at AU $34.59
Scientific Healing Affirmations (Paperback Book) by Paramahansa Yogananda | NEW
AU $10.12
Trending at AU $10.80
The Satanic Bible by Anton Szandor Lavey (English) Mass Market Paperback Book Fr
AU $18.99
Trending at AU $19.31
A Gentleman in Moscow: The worldwide bestseller by Amor Towles (Paperback, 2017)
AU $14.00
Trending at AU $17.58
Blooming Visions Adult Coloring Book: Beautiful Flower Garden Patterns and Botan
AU $14.25
Trending at AU $14.30

Shop by category

Picture 1 of 1

Language, Proof, and Logic: Second Edition by David Barker-Plummer, John Etchemendy, Jon Barwise (Paperback, 2011)

About this product

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Best Selling in Books

Australian Bushcraft by Richard Graves (Paperback, 2019)

Gods of Eden by William Bramley (Paperback, 1993)

The Acid Watcher Diet: A 28-Day Reflux Prevention and Healing Program by Jonathan Aviv (Paperback, 2017)

Learn to Read Hebrew in 6 Weeks by Miiko Shaffier (Paperback, 2016)

Conversations with Phantoms: Exclusive Interviews About the 1978 TV Movie, Kiss Meets the Phantom of the Park by Ron Albanese (Paperback, 2020)

Save on Books

Frank Herbert'S Dune Saga 3-Book Boxed Set: Dune, Dune Messiah, & Children Dune

Jethro Kloss Back to Eden (Paperback)

Scientific Healing Affirmations (Paperback Book) by Paramahansa Yogananda | NEW

The Satanic Bible by Anton Szandor Lavey (English) Mass Market Paperback Book Fr

A Gentleman in Moscow: The worldwide bestseller by Amor Towles (Paperback, 2017)

Blooming Visions Adult Coloring Book: Beautiful Flower Garden Patterns and Botan

You may also like

Uncorrected Proof Paperbacks

Clive Barker Paperback Fiction & Fiction Books

Jon Scieszka Paperback Fiction & Books

Paperback Language Course

Logic Paperback Adult Learning & University Books

Logic Non-Fiction Paperback Fiction & Books