Dover Books On Mathematics; 5.42 X 0.39 X 8.48 inches; 158 pages; minor markings in the margins on a few pages. Previous owner's name on a prelim page. Minor, faint smudges on the top exterior edge of textblock. Minor shelf wear. Minor creasing on front cover. Good condition otherwise. No other noteworthy defects. ; - Your satisfaction is our priority. We offer free returns and respond promptly to all inquiries. Your item will be packaged with care and ship on the same or next business day. Buy with confidence.

Seller Inventory # HVD-66765-A-0

Contact seller

Report this item

Bibliographic Details

Title: First-Order Logic
Publisher: Dover Publications, New York, NY
Publication Date: 1995
Language: English
ISBN 10: 0486683702
ISBN 13: 9780486683706
Binding: Paperback
Edition: Reissue Edition.
Condition: Good+

About this title

Synopsis

This completely self-contained study, widely considered the best book in the field, is intended to serve both as an introduction to quantification theory and as an exposition of new results and techniques in "analytic" or "cut-free" methods. Impressed by the simplicity and mathematical elegance of the tableau point of view, the author focuses on it here.
After preliminary material on tress (necessary for the tableau method), Part I deals with propositional logic from the viewpoint of analytic tableaux, covering such topics as formulas or propositional logic, Boolean valuations and truth sets, the method of tableaux and compactness.
Part II covers first-order logic, offering detailed treatment of such matters as first-order analytic tableaux, analytic consistency, quantification theory, magic sets, and analytic versus synthetic consistency properties.
Part III continues coverage of first-order logic. Among the topics discussed are Gentzen systems, elimination theorems, prenex tableaux, symmetric completeness theorems, and system linear reasoning.
Raymond M. Smullyan is a well-known logician and inventor of mathematical and logical puzzles. In this book he has written a stimulating and challenging exposition of first-order logic that will be welcomed by logicians, mathematicians, and anyone interested in the field.

About the Author

Raymond Smullyan received his PhD from Princeton University and taught at Dartmouth, Princeton, Indiana University, and New York's Lehman College. Best known for his mathematical and creative logic puzzles and games, he was also a concert pianist and a magician. He wrote over a dozen books of logic puzzles and texts on mathematical logic.

Raymond Smullyan: The Merry Prankster
Raymond Smullyan (1919–2017), mathematician, logician, magician, creator of extraordinary puzzles, philosopher, pianist, and man of many parts. The first Dover book by Raymond Smullyan was First-Order Logic (1995). Recent years have brought a number of his magical books of logic and math puzzles: The Lady or the Tiger (2009); Satan, Cantor and Infinity (2009); an original, never-before-published collection, King Arthur in Search of His Dog and Other Curious Puzzles (2010); and Set Theory and the Continuum Problem (with Melvin Fitting, also reprinted by Dover in 2010). More will be coming in subsequent years.

In the Author's Own Words:
"Recently, someone asked me if I believed in astrology. He seemed somewhat puzzled when I explained that the reason I don't is that I'm a Gemini."

"Some people are always critical of vague statements. I tend rather to be critical of precise statements: they are the only ones which can correctly be labeled 'wrong.'" — Raymond Smullyan

"About this title" may belong to another edition of this title.

Store Description

True Oak Books is dedicated to giving a second life to books. We take pride in what we do and do our best to provide good service. Our small but passionate team hand picks rare finds in a variety of fiction as well as non-fiction.

Visit Seller's Storefront

Association Member

Members of these associations are committed to maintaining the highest standards. They vouch for the authenticity of all items offered for sale. They provide expert and detailed descriptions, disclose all significant defects and/or restorations, provide clear and accurate pricing, and operate with fairness and honesty during the purchase experience.

Seller's business information

True Oak Books LLC
446 New Paltz Rd, APT 6, Highland, NY, 12528, U.S.A.

Sale & Shipping Terms

Terms of Sale

Items can be returned within 30 days of the estimated delivery date. All returns must be approved before an item is shipped back. Domestic returns generally take two weeks and International returns can take up to six weeks to be received and processed. In the event that an item is being returned due to an error on our part, a prepaid return label will be supplied via email upon request. If a return is not approved, there may be a delay with processing a refund.

If you are a consumer you can cance...

More Information

Shipping Terms

Orders ship within 1 business day [M-F]. Items shipped via USPS Media Mail should arrive within 4-14 business days [M-F]. Please note, as per USPS, depending on service location and/or high peak periods within the post office, deliveries can take up to 21 business days [M-F] to arrive. Should your order not arrive within 21 business days [M-F], please contact us promptly for resolution.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	3 to 9 business days	2 to 4 business days
First item	US$ 0.00	US$ 6.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.