Articles liés à First-Order Logic
Synopsis
This self-contained study is both an introduction to quantification theory and an exposition of new results and techniques in ""analytic"" or ""cut free"" methods. The focus is on the tableau point of view. Includes 144 illustrations.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 7,50
EUR 2,25 expédition vers Etats-Unis
Destinations, frais et délaisAutres éditions populaires du même titre
Résultats de recherche pour First-Order Logic
Image fournie par le vendeur
First-Order Logic (Dover Books on Mathematics)
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Couverture souple
Vendeur : Zoom Books East, Glendale Heights, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : good. Book is in good condition and may include underlining highlighting and minimal wear. The book can also include "From the library of" labels. May not contain miscellaneous items toys, dvds, etc. . We offer 100% money back guarantee and 24 7 customer service. N° de réf. du vendeur ZEV.0486683702.G
Quantité disponible : 1 disponible(s)
Image d'archives
Firstorder Logic Dover Books o
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Good. Item in good condition. Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00085960902
Quantité disponible : 3 disponible(s)
Image d'archives
Firstorder Logic Dover Books o
Vendeur : SecondSale, Montgomery, IL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Acceptable. Item in acceptable condition! Textbooks may not include supplemental items i.e. CDs, access codes etc. N° de réf. du vendeur 00086016466
Quantité disponible : 1 disponible(s)
Image d'archives
First-Order Logic (Dover Books on Mathematics)
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Couverture souple
Vendeur : New Legacy Books, Annandale, NJ, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Fast shipping and order satisfaction guaranteed. A portion of your purchase benefits Non-Profit Organizations, First Aid and Fire Stations! N° de réf. du vendeur 5FSZKH000MI3_ns
Quantité disponible : 1 disponible(s)
Image d'archives
First-Order Logic (Dover Books on Mathematics)
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Paperback
Vendeur : HPB-Ruby, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Connecting readers with great books since 1972! Used books may not include companion materials, and may have some shelf wear or limited writing. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_438981295
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
First-Order Logic (Dover Books on Mathematics)
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Couverture souple
Vendeur : clickgoodwillbooks, Indianapolis, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : acceptable. Used - Acceptable: All pages and the cover are intact, but shrink wrap, dust covers, or boxed set case may be missing. Pages may include limited notes, highlighting, or minor water damage but the text is readable. Item may be missing bundled media. N° de réf. du vendeur 3O6XBG000S4G_ns
Quantité disponible : 1 disponible(s)
Image d'archives
First-Order Logic
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Good. No Jacket. Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less 0.46. N° de réf. du vendeur G0486683702I3N00
Quantité disponible : 1 disponible(s)
Image d'archives
First-Order Logic
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fair. No Jacket. Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 0.46. N° de réf. du vendeur G0486683702I5N00
Quantité disponible : 1 disponible(s)
Image d'archives
First-Order Logic
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Atlanta, AUSTELL, GA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. No Jacket. May have limited writing in cover pages. Pages are unmarked. ~ ThriftBooks: Read More, Spend Less 0.46. N° de réf. du vendeur G0486683702I4N00
Quantité disponible : 1 disponible(s)
Image d'archives
First-Order Logic
Edité par
Dover Publications, 1995
ISBN 10 : 0486683702
ISBN 13 : 9780486683706
Ancien ou d'occasion
Paperback
Vendeur : ThriftBooks-Dallas, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Fair. No Jacket. Former library book; Readable copy. Pages may have considerable notes/highlighting. ~ ThriftBooks: Read More, Spend Less 0.46. N° de réf. du vendeur G0486683702I5N10
Quantité disponible : 1 disponible(s)