Three Views of Logic

Sprache: Englisch

Verlag: Princeton University Press, US, 2014

0691160449 / 9780691160443

Anbieter: Rarewaves USA, HEBRON, KY, USARarewaves USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 10. Juni 2025

Softcover

Zustand: Neu

EUR 75,40

 Versand gratis 
Versand innerhalb von USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

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.…

Bestandsnummer des Verkäufers LU-9780691160443

Titel
Three Views of Logic
Autor
Donald W. Loveland, Richard Hodel, Susan Sterrett
Verlag
Princeton University Press, US
Erscheinungsjahr
2014
Zustand
New
Einband
Paperback
Sprache
Englisch
ISBN-10
0691160449
ISBN-13
9780691160443
Artikelgewicht
680 Gramm

Rarewaves USA

HEBRON, KY, USA

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 10. Juni 2025

Versandkosten innerhalb von USA

Artikel10 bis 13 Werktage10 bis 13 Werktage
Erster ArtikelEUR 0,00EUR 0,00
Die Versandzeiten werden von den Verkäuferinnen und Verkäufern festgelegt. Sie variieren je nach Versanddienstleister und Standort. Sendungen, die den Zoll passieren, können Verzögerungen unterliegen. Eventuell anfallende Abgaben oder Gebühren sind von der Käuferin bzw. dem Käufer zu tragen. Die Verkäuferin bzw. der Verkäufer kann Sie bezüglich zusätzlicher Versandkosten kontaktieren, um einen möglichen Anstieg der Versandkosten für Ihre Artikel auszugleichen.

Zahlungsarten

  • Visa
  • Mastercard
  • American Express
  • Carte Bleue
  • Apple Pay
  • Google Pay

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

Rarewaves USA

10100 West Sample Road, Ste 101
Coral Springs, FL USA 33065