Formal Logic: Its Scope and Limits
Jeffrey, Richard C.
Verkauft von Trouve Books, Cincinnati, OH, USA
AbeBooks-Verkäufer seit 5. September 2013
Gebraucht - Hardcover
Zustand: Gebraucht - Befriedigend
Anzahl: 1 verfügbar
In den Warenkorb legenVerkauft von Trouve Books, Cincinnati, OH, USA
AbeBooks-Verkäufer seit 5. September 2013
Zustand: Gebraucht - Befriedigend
Anzahl: 1 verfügbar
In den Warenkorb legenSecond edition. Book is clean and tight without inside markings. This is a book for beginners, designed to familiarize them with a formal system of first-order logic in the course of a semester's study and to give them access to the discoveries defining the scope and limits of formal methods that marked the coming of age in the twentieth century: Godel's completeness and incompleteness theorems for first- and second-order logic in Chapter 7, and the Church-Turing theorem on the undecidability of first-order logic in Chapter 6.
Bestandsnummer des Verkäufers TA243818
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond 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. We pack every book by first wrapping it in paper, then bubble wrap, then corrugated cardboard in mailer or box form. We don't use paper mailing pouches.