Language, Proof and Logic Text and CD

Name: Language, Proof and Logic Text and CD
Price: 3.89 USD
Availability: InStock
ISBN: 9781575863740

ISBN-10: 157586374X

ISBN-13: 9781575863740

Edition: 2002

Authors: Jon Barwise, John Etchemendy

List price: $65.00

30 day, 100% satisfaction guarantee!

Marketplace

5 new & used from $3.89

what's this?

Rush Rewards U
Members Receive:

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

Description:

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…

Book details

List price: $65.00
Copyright year: 2002
Publisher: CSLI Publications/Center for the Study of Language & Information
Publication date: 4/1/2002
Binding: Mixed Media
Pages: 598
Size: 7.75" wide x 9.25" long x 1.70" tall
Weight: 2.750
Language: English



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 of Proof for Quantifiers



Formal Proofs and Quantifiers



More about Quantification (optional)



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


General Index


Exercise Files Index