Condizione: very_good. Gently read. May have name of previous ownership, or ex-library edition. Binding tight; spine straight and smooth, with no creasing; covers clean and crisp. Minimal signs of handling or shelving. 100% GUARANTEE! Shipped with delivery confirmation, if you're not satisfied with purchase please return item for full refund. Ships USPS Media Mail.
Condizione: Like New. 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.
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
paperback. Condizione: New. In shrink wrap. Looks like an interesting title!
EUR 186,35
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
EUR 180,86
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Editore: Springer Berlin Heidelberg, 2001
ISBN 10: 3540423249 ISBN 13: 9783540423249
Lingua: Inglese
Da: moluna, Greven, Germania
EUR 207,89
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: 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.
EUR 255,53
Quantità: 1 disponibili
Aggiungi al carrellohardcover. Condizione: Very Good. Very Good. Dust Jacket may NOT BE INCLUDED.CDs may be missing. SHIPS FROM MULTIPLE LOCATIONS. book.
Editore: Springer, Berlin, Springer Berlin Heidelberg, Springer, 2001
ISBN 10: 3540423249 ISBN 13: 9783540423249
Lingua: Inglese
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 256,45
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.