Articles liés à The Classical Decision Problem
Synopsis
This book is addressed to all those - logicians, computer scientists, mathe- maticians, philosophers of science as well as the students in all these disci- plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert's Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ- ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic knowledge of the language of first-order logic is required for understanding of the main parts of the book, and we use standard terminology. The chapters are written in such a way that various combinations of them can be used for introductory or advanced courses on undecidability, decidability and complexity of logical decision problems. This explains a few intended redundancies and repetitions in some of the chapters. The annotated bibliography, the historical remarks at the end of the chap- ters and the index allow the reader to use the text also for quick reference purposes.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Acheter neuf
Afficher cet article
EUR 174,50
EUR 5,72 expédition depuis Royaume-Uni vers France
Destinations, frais et délaisRésultats de recherche pour The Classical Decision Problem
Image d'archives
The Classical Decision Problem
Edité par
Springer, 2001
ISBN 10 : 3540423249
ISBN 13 : 9783540423249
Ancien ou d'occasion
Couverture souple
Vendeur : thebookforest.com, San Rafael, CA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : LikeNew. Text block, wraps and binding are in like new condition, without markings of any kind. Supporting Bay Area Friends of the Library since 2010. Well packaged and promptly shipped. N° de réf. du vendeur 1LAUHV002YVR
Quantité disponible : 1 disponible(s)
Image d'archives
THE CLASSICAL DECISION PROBLEM (PB 1997)
Vendeur : UK BOOKS STORE, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Brand New! Fast Delivery US Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 7-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested if the Book weight is more than 5 LB. This Item May be shipped from India, United states & United Kingdom. Depending on your location and availability. N° de réf. du vendeur CBS 9783540423249
Quantité disponible : 1 disponible(s)
Image d'archives
THE CLASSICAL DECISION PROBLEM (PB 1997)
Vendeur : URW Books Store, CASPER, WY, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. Brand New! Fast Delivery, Delivery With In 7-10 working Day Only , USA Edition Original Edition. Excellent Quality, Printing In English Language, Quick delivery by FEDEX & DHL. USPS & UPS Act. Our courier service is not available at PO BOX& APO BOX. Ship from India & United States. N° de réf. du vendeur CBSBOOKS54096
Quantité disponible : 1 disponible(s)
Image d'archives
The Classical Decision Problem
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540423249_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Classical Decision Problem
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur SL-3540423249
Quantité disponible : 1 disponible(s)
Image d'archives
The Classical Decision Problem
Vendeur : BennettBooksLtd, North Las Vegas, NV, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : New. In shrink wrap. Looks like an interesting title! N° de réf. du vendeur Q-3540423249
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
The Classical Decision Problem
Edité par
Springer Berlin Heidelberg, 2001
ISBN 10 : 3540423249
ISBN 13 : 9783540423249
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. This book, useful to students and researchers alike, is an up-to-date account of a topic of central importance in mathematical logic and theoretical computer scienceThis book, useful to students and researchers alike, is an up-to-date account of a to. N° de réf. du vendeur 4889771
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Classical Decision Problem
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020167025
Quantité disponible : Plus de 20 disponibles
Image d'archives
The Classical Decision Problem
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 496. N° de réf. du vendeur 26348934
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
The Classical Decision Problem
Edité par
Springer, Berlin, Springer Berlin Heidelberg, Springer, 2001
ISBN 10 : 3540423249
ISBN 13 : 9783540423249
Neuf
Taschenbuch
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware - This book is addressed to all those - logicians, computer scientists, mathe maticians, philosophers of science as well as the students in all these disci plines - who may be interested in the development and current status of one of the major themes of mathematical logic in the twentieth century, namely the classical decision problem known also as Hilbert's Entscheidungsproblem. The text provides a comprehensive modern treatment of the subject, includ ing complexity theoretic analysis. We have made an effort to combine the features of a research monograph and a textbook. Only the basic knowledge of the language of first-order logic is required for understanding of the main parts of the book, and we use standard terminology. The chapters are written in such a way that various combinations of them can be used for introductory or advanced courses on undecidability, decidability and complexity of logical decision problems. This explains a few intended redundancies and repetitions in some of the chapters. The annotated bibliography, the historical remarks at the end of the chap ters and the index allow the reader to use the text also for quick reference purposes. N° de réf. du vendeur 9783540423249
Quantité disponible : 2 disponible(s)