Three Views of Logic: Mathematics, Philosophy, and Computer Science
Language: English
Published by Princeton University Press, 2014
- Softcover
- Used
Seller: WorldofBooks, Goring-By-Sea, WS, United KingdomWorldofBooks
AbeBooks seller since March 16, 2007
Condition: Used - Very good
US$ 11.95
Quantity: 1 available
Add to basketItem description from seller
The book has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged.
Seller Inventory # GOR011757319
- Title
- Three Views of Logic: Mathematics, Philosophy, and Computer Science
- Author
- Hodel, Richard E.
- Publisher
- Princeton University Press
- Publication year
- 2014
- Condition
- Very Good
- Binding
- Paperback
- Language
- English
- ISBN 10
- 0691160449
- ISBN 13
- 9780691160443
- Item weight
- 735 grams
The first interdisciplinary textbook to introduce students to three critical areas in applied logic
Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity.
The proof theory portion presents classical propositional logic and first-order logic using a computer-oriented (resolution) formal system. Linear resolution and its connection to the programming language Prolog are also treated. The computability component offers a machine model and mathematical model for computation, proves the equivalence of the two approaches, and includes famous decision problems unsolvable by an algorithm. The section on nonclassical logic discusses the shortcomings of classical logic in its treatment of implication and an alternate approach that improves upon it: Anderson and Belnap's relevance logic. Applications are included in each section. The material on a four-valued semantics for relevance logic is presented in textbook form for the first time.
Aimed at upper-level undergraduates of moderate analytical background, Three Views of Logic will be useful in a variety of classroom settings.
- Gives an exceptionally broad view of logic
- Treats traditional logic in a modern format
- Presents relevance logic with applications
- Provides an ideal text for a variety of one-semester upper-level undergraduate courses
"Synopsis" may belong to another edition of this title.
About the Author
"About the title" may belong to another edition of this title.
WorldofBooks
Goring-By-Sea, WS, United Kingdom
AbeBooks seller since March 16, 2007
Shipping rates from United Kingdom to U.S.A.
| Item | 7 to 12 business days | 5 to 9 business days |
|---|---|---|
| First item | US$ 7.58 | US$ 16.25 |
Payment methods
Store description
In 2002, World of Books Group was founded on an ethos to do good, protect the planet and support charities by enabling more goods to be reused. Since then, we've grown into to a global company pioneering the circular economy. Today, we drive the circular economy through three re-commerce brands: - Wob: Through Wob, we sell. We provide affordable, preloved books and media to customers all over the world. A book leaves our collection of over seven million titles and begins a new chapter every two seconds, enabling more goods to be reused. - Ziffit: Through Ziffit, we buy. We give people around the world the opportunity to contribute to the circular economy, earn money and protect the planet, by trading their unwanted books and media. - Shopiago: Through Shopiago, we help others. By sharing the technology that has grown World of Books Group into the business it is today, we’re helping charities increase revenue and reduce waste through re-commerce.…
Specialty
COOKERY, RECYCLE, CHARITY, USED BOOKS, MODERN, HISTORY, CHILDRENS, FICTION, CHEAP BOOKS, NON -FICTIONSeller's business information
World of Books Ltd
Mulberry House, Woods Way Trading Estate
Goring-By-Sea, United Kingdom BN12 4QY
Terms of sale
WorldofBooks.com fully embraces the AbeBooks terms and conditions and we will do
what we can to resolve any issues.
Shipping terms
Orders ship within 2 business days. Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.