Language, Proof, and Logic Second Edition

Name: Language, Proof, and Logic Second Edition
Availability: InStock
ISBN: 9781575866321

ISBN-10: 1575866323

ISBN-13: 9781575866321

Edition: 2nd 2011

Authors: David Barker-Plummer, Jon Barwise, John Etchemendy

List price: $68.00

This item qualifies for FREE shipping.

30 day, 100% satisfaction guarantee!

Semester Rental: $19.09 Due date: 8/14/2024

Rental notice: supplementary materials (access codes, CDs, etc.) are not guaranteed with rental orders.

Buy used: $30.59

Alternate versions

No Supplement : $30.59

Buy new: $81.01

Marketplace

6 new & used from $9.45

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

This pack includes software that facilitates the teaching and learning of first-order logic. The authors present some 500 pages filled with hundreds of examples and more than 1,000 exercises relating to logic.

Book details

List price: $68.00
Edition: 2nd
Copyright year: 2011
Publisher: University of Chicago Press
Publication date: 10/7/2011
Binding: Paperback
Pages: 650
Size: 0.78" wide x 0.93" long x 0.13" tall
Weight: 2.706



Acknowledgements


Introduction



Propositional Logic



Atomic Sentences



The Logic of Atomic Sentences



The Boolean Connectives



The Logic of Boolean Connectives



Methods of Proof for Boolean Logic



Formal Proofs and Boolean Logic



Conditionals



The Logic of Conditionals



Quantifiers



Introduction to Quantification



The Logic of Quantifiers



Multiple Quantifiers



Methods for Proof of Quantifiers



Formal Proofs and Quantifiers



More about Quantification



Applications and Metatheory



First-order Set Theory



Mathematical Induction



Advanced Topics in Propositional Logic



Advanced Topics in FOL



Completeness and Incompleteness


Summary of Formal Proof Rules


Glossary


File Index


Exercise Index


General Index