The item you selected is unavailable, but we found something similar.

Picture 1 of 1

Stock photo

Language, Proof, and Logic: Second Edition by Jon Barwise (English) Paperback Bo - 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.

thenilestore (1210518)
98.2% positive Feedback

Price:

AU $225.58

Free postage

Estimated delivery Thu, 2 May - Wed, 8 May

Returns:

30-day returns. Buyer pays for return postage.

Condition:

Brand new

Jon Barwise (1942-2000) served on the faculties of Yale University, the University of Wisconsin, Stanford University, and Indiana University. An on-line grading services instantly grades solutions to hundred of computer exercises.

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

All listings for this product

item 1 Language, Proof, and Logic: Second Edition by Jon Barwise (English) Paperback Bo
AU $225.58
Free postage
item 2 David Barker-Plummer Jon Barwise John Etchem Language, Proof, and L (Paperback)
AU $231.22
Free postage

Best Selling in Books

See all

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

KJV, Gift and Award Bible, Leather-Look, Black, Red Letter, Comfort Print: Holy Bible, King James Version by Zondervan (Paperback, 2017)
4.9 out of 5 stars based on 17 product ratings
AU $15.64 New
---- Used
Dragon Ball Complete Box Set: Vols. 1-16 with premium by Akira Toriyama (Paperback, 2019)
No ratings or reviews yet.
AU $144.00 New
AU $120.00 Used
Ikigai: The Japanese secret to a long and happy life by Francesc Miralles, Hector Garcia (Hardcover, 2017)
4.5 out of 5 stars based on 14 product ratings
AU $16.95 New
AU $15.00 Used
Camps 12 Australia by Heatley Gilmore, Michelle Gilmore (2022,Wide Book Spiral)
4.8 out of 5 stars based on 18 product ratings
AU $74.90 New
---- Used
Rich Dad Poor Dad: What the Rich Teach Their Kids About Money That the Poor and Middle Class Do Not! by Robert T. Kiyosaki (Paperback, 2017)
5.0 out of 5 stars based on 3 product ratings
AU $14.95 New
AU $9.50 Used
The Concise 48 Laws Of Power by Robert Greene (Paperback, 2002)
4.5 out of 5 stars based on 20 product ratings
AU $20.44 New
---- Used
The Mountain Is You: Transforming Self-Sabotage Into Self-Mastery by Brianna Wiest (Paperback, 2020)
5.0 out of 5 stars based on 6 product ratings
AU $22.04 New
AU $15.39 Used

Save on Books

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

Air Fryer Queen by Steph De Sousa | Paperback Book | FREE SHIPPING BRAND NEW AU
AU $18.99
Trending at AU $20.20
NEW Ikigai By Hector Garcia (Hardcover) FREE Shipping
AU $16.95
Trending at AU $17.28
The Mountain is You by Brianna Wiest - AU STOCK - FAST & FREE - TRACKED DELIVERY
AU $19.99
Trending at AU $22.93
Jethro Kloss Back to Eden (Paperback) (US IMPORT)
AU $30.29
Trending at AU $33.79
Frank Herbert'S Dune Saga 3-Book Boxed Set: Dune, Dune Messiah, & Children Dune
AU $46.66
Trending at AU $48.42
Scientific Healing Affirmations (Paperback Book) by Paramahansa Yogananda | NEW
AU $10.12
Trending at AU $10.88

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

All listings for this product

item 1 Language, Proof, and Logic: Second Edition by Jon Barwise (English) Paperback Bo

item 2 David Barker-Plummer Jon Barwise John Etchem Language, Proof, and L (Paperback)

Best Selling in Books

KJV, Gift and Award Bible, Leather-Look, Black, Red Letter, Comfort Print: Holy Bible, King James Version by Zondervan (Paperback, 2017)

Dragon Ball Complete Box Set: Vols. 1-16 with premium by Akira Toriyama (Paperback, 2019)

Ikigai: The Japanese secret to a long and happy life by Francesc Miralles, Hector Garcia (Hardcover, 2017)

Camps 12 Australia by Heatley Gilmore, Michelle Gilmore (2022,Wide Book Spiral)

Rich Dad Poor Dad: What the Rich Teach Their Kids About Money That the Poor and Middle Class Do Not! by Robert T. Kiyosaki (Paperback, 2017)

The Concise 48 Laws Of Power by Robert Greene (Paperback, 2002)

The Mountain Is You: Transforming Self-Sabotage Into Self-Mastery by Brianna Wiest (Paperback, 2020)

Save on Books

Air Fryer Queen by Steph De Sousa | Paperback Book | FREE SHIPPING BRAND NEW AU

NEW Ikigai By Hector Garcia (Hardcover) FREE Shipping

The Mountain is You by Brianna Wiest - AU STOCK - FAST & FREE - TRACKED DELIVERY

Jethro Kloss Back to Eden (Paperback) (US IMPORT)

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

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

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