Skip to content

Unsolvable classes of quantificational formulas

Unsolvable classes of quantificational formulas

Click for full-size.

Unsolvable classes of quantificational formulas

by Lewis, Harry R

  • Used
  • Hardcover
Condition
Good/None
ISBN 10
0201040697
ISBN 13
9780201040692
Seller
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Easton, Pennsylvania, United States
Item Price
$17.00
Or just $15.30 with a
Bibliophiles Club Membership
$5.00 Shipping to USA
Standard delivery: 7 to 14 days

More Shipping Options

Payment Methods Accepted

  • Visa
  • Mastercard
  • American Express
  • Discover
  • PayPal

About This Item

Reading, Mass.: Addison-Wesley Pub. Co., 1979. Ex-Library. Hardcover. Good/None. Green softcover with white titling on front and spine. Page edges toned and stamped with ex-university library. Text is unmarked. Spine is uncreased. 8vo. BOOK INFO: This volume is the first major published survey of unsolvability results for the predicate calculus since Suranyi's treatment in 1959. Developments in the intervening years have drastically changed both the results and the proof techniques in this area. The book deals with the theoretical possibility of determining by mechanical means whether particular statements of mathematical logic can be true; this is the oldest problem in the theory of computability. The main goal is to classify cases in which computable decision procedures are demonstrably nonexistent. Logicians, mathematicians, and computer scientists will welcome this publication. Includes index of terms.

Reviews

(Log in or Create an Account first!)

You’re rating the book as a work, not the seller or the specific copy you purchased!

Details

Seller
Quadrant Book Mart US (US)
Seller's Inventory #
15157
Title
Unsolvable classes of quantificational formulas
Author
Lewis, Harry R
Format/Binding
Hardcover
Book Condition
Used - Good/None
Quantity Available
1
Edition
Ex-Library
ISBN 10
0201040697
ISBN 13
9780201040692
Publisher
Addison-Wesley Pub. Co.
Place of Publication
Reading, Mass.
Date Published
1979
Pages
198

Terms of Sale

Quadrant Book Mart

Re: Shipping--We may need to ask more for shipping for overweight, (including multiple book sales) or large-dimension books. If the actual shipping cost is more than our listed/default rate, we will contact you with the amount and give you the opportunity to accept. For expedited or international shipping rates, we will provide an accurate price quote after the order is placed; This rate will likely vary from our listed/default rate. At this point, the customer may accept or decline the charges. In other words, our shipping rates for international zones are estimates only.

We offer a 30 day return guarantee, with full refund of the paid book price for up to 30 days after delivery if an item arrives misdescribed or damaged.

About the Seller

Quadrant Book Mart

Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Biblio member since 2016
Easton, Pennsylvania

About Quadrant Book Mart

The Quadrant Book Mart and Coffee House stocks more than 50,000 carefully-chosen collectible, rare and out-of-print volumes—as well as reading copies—for a broad range of reader interests, including art, architecture, modern firsts, literary criticism, and regional, American and world history. For more than 20 years, proprietors Andris Danielsons and Joanne Moranville have prided themselves on offering titles that are fairly priced and meticulously evaluated for condition. Our brick-and-mortar location stands at the heart of the arts and cultural community of historic downtown Easton, Pa., where we welcome neighbors and new friends to peruse the stacks of books shelved in two stories and lining the dining room of our top-rated coffee house.

Glossary

Some terminology that may be used in this description includes:

Spine
The outer portion of a book which covers the actual binding. The spine usually faces outward when a book is placed on a shelf....
PUB
Common abbreviation for 'published'
Edges
The collective of the top, fore and bottom edges of the text block of the book, being that part of the edges of the pages of a...
tracking-