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

Informazioni sull?autore

Donald W. Loveland is professor emeritus of computer science at Duke University and the author of Automated Theorem Proving: A Logical Basis. Richard E. Hodel is associate professor emeritus of mathematics at Duke University and the author of An Introduction to Mathematical Logic. S. G. Sterrett is the Curtis D. Gridley Distinguished Professor of History and Philosophy of Science at Wichita State University and the author of Wittgenstein Flies a Kite: A Story of Models of Wings and Models of the World.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Descrizione libreria

With 3 stores less than 1 hour outside the DC/Metropolitan area (1 in Gaithersburg, 1 in Frederick and 1 in Hagerstown, MD), we have the largest selection of books in the tri-state area. Wonder Book and Video has been in business since 1980 and online since 1997. We have over 1 Million books for sale on our website and another 1 Million books for sale in our 3 locations. Items on Abe are not necessarily in stock at our retail locations. Please do not call the stores to place orders for Abe Books sales. We have a very active online inventory and as such, we can receive multiple orders for the same item. We fill those orders on a first come first serve basis, but will refund promptly any items that are out of stock. Since 1980 it has always been about the books. ALL kinds of books from 95 cent children's paperbacks to five figure rare and collectibles. A merging of the old and new is where we started, and it is where we are today. Our retail stores have always been places where a reader can rush in looking for a title needed for a term paper that is due the next day, or where bibliophiles can get lost "in the stacks" for as long as they wish. In 2002 USAToday recognized us as "1 of 10 Great Old Bookstores", and we have been featured in numerous other newspaper and TV stories including Washington Post and CSpan. Members ABAA, ILAB.

Visita la pagina della libreria

Membro dell'associazione

I librai membri di queste associazioni si distinguono per elevata competenza e professionalit�. Garantiscono l'autenticit� di tutti gli articoli messi in vendita. Forniscono descrizioni approfondite e dettagliate, rivelano tutti i difetti e / o restauri rilevanti, forniscono prezzi chiari e precisi e operano con correttezza e onest� durante l'esperienza di acquisto.

Informazioni sull?azienda del venditore

Wonder Book
Wonder Book and Video, 1550 Tilco Drive, Frederick, MD, 21704, U.S.A.

Condizioni di vendita e spedizione

Condizioni di vendita

We want you to be satisfied with the book you order. Our general description is
conservative and the book should be as good or better than our general
description
may indicate.

As we often get many requests for the same book, in some cases the book may
already be sold. We will email you regarding the availability.

RETURNS are cheerfully accepted up to 30 days. We ship out within 1-2 business
days and U.S. Standard Shipments usually arrive within 6-9 business days,
Priority 3-6. We want you to be...

Ulteriori informazioni

Diritto di recesso

Condizioni di spedizione

STANDARD DOMESTIC U.S. SHIPPING IS FREE. Priority Shipping is only $6.99 for first item, $1 each additional. Orders ship within 2 business days. Shipping outside of U.S. is typically between $8-13 and takes between 8-15 business days. Heavier books may require additional shipping. Faster Needs Please Inquire.

Tariffe di spedizione nazionale per U.S.A.

Tariffe di spedizione nazionale per U.S.A.
Quantit� dell?ordine	Da 5 a 9 giorni lavorativi	Da 3 a 6 giorni lavorativi
Primo articolo	EUR 0.00	EUR 9.42

I tempi di consegna sono stabiliti dai venditori e variano in base al corriere e al paese. Gli ordini che devono attraversare una dogana possono subire ritardi e spetta agli acquirenti pagare eventuali tariffe o dazi associati. I venditori possono contattarti in merito ad addebiti aggiuntivi dovuti a eventuali maggiorazioni dei costi di spedizione dei tuoi articoli.