Decision Procedures for Elementary Sublanguages of Set Theory: XI

Sprache: Englisch

Verlag: Forgotten Books, 2018

133304254X / 9781333042547

Anbieter: Forgotten Books, London, Vereinigtes KönigreichForgotten Books

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. Juni 2021

Softcover

Zustand: Neu

EUR 15,85

 Versand gratis 
Versand von Vereinigtes Königreich nach USA

Anzahl: Mehr als 20 verfügbar

In den Warenkorb
30 Tage kostenlose Rückgabe

Artikelbeschreibung des Verkäufers

Print on Demand. This book extends the decision procedures for set theory previously developed by the author for quantied and unquantied languages. This eleventh volume of the series builds upon prior work by examining set operators, set predicates, cardinality operators, cardinality predicates and function operators within elementary Boolean connectives. It presents a finite and uniform procedure that decides whether a given formula possesses a model or not, reducing the problem to the satisability problem for conjunctions of atoms. By way of disjunctive normal form, it is demonstrated that constructs like set difference or the Singleton predicate are equisatisfiable to conjunctions of positive atoms. The author demonstrates the satisability problem for three-sorted language, which properly extends the purely set-theoretical part of the theory considered in previous volumes, exhibiting a finite and uniform procedure that is capable of deciding whether a given formula has a model. The book concludes by considering D, INV, SINGLEVALUED, PAIRIN as operators, discussing their satisability conditions, and arguing that the class of formulas in the language of the book has a solvable satisability problem. This book is a reproduction of an important historical work, digitally reconstructed using state-of-the-art technology to preserve the original format. In rare cases, an imperfection in the original, such as a blemish or missing page, may be replicated in the book.…

Bestandsnummer des Verkäufers 9781333042547_0

Titel
Decision Procedures for Elementary Sublanguages of Set Theory: XI
Autor
D. Cantone, J. T. Schwartz
Verlag
Forgotten Books
Erscheinungsjahr
2018
Zustand
New
Buchtyp
print-on-demand item
Einband
Paperback
Sprache
Englisch
ISBN-10
133304254X
ISBN-13
9781333042547
Verkäuferkataloge
Calculus

Forgotten Books

London, Vereinigtes Königreich

Verkäufer/-in mit 5 Sternen

Verkäufer:in bei AbeBooks seit 2. Juni 2021

Versandkosten von Vereinigtes Königreich nach USA

Artikel5 bis 10 Werktage5 bis 10 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

Shopbeschreibung

Forgotten Books’ Classic Reprint Series utilizes the latest technology to regenerate facsimiles of historically important writings. Careful attention has been made to accurately preserve the original format of each page whilst digitally enhancing the quality of the aged text.

Spezialisierung

Trade

Unternehmensdaten der Verkäuferin bzw. des Verkäufers

FB &c Ltd

Dalton House, 60 Windsor Avenue
London, Vereinigtes Königreich SW19 2RR