pickabook books with huge discounts for everyone
pickabook books with huge discounts for everyone
Visit our new collection website www.collectionsforschool.co.uk
     
Email: Subscribe to news & offers:
Need assistance? Log In/Register


Item Details
Title: THE CLASSICAL DECISION PROBLEM
By: Egon Borger, Erich Gradel, Yuri Gurevich
Format: Paperback

List price: £119.99


We currently do not stock this item, please contact the publisher directly for further information.

ISBN 10: 3540423249
ISBN 13: 9783540423249
Publisher: SPRINGER-VERLAG BERLIN AND HEIDELBERG GMBH & CO. KG
Pub. date: 28 August, 2001
Edition: Softcover reprint of the original 1st ed. 1997
Series: Universitext
Pages: 482
Description: This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
Synopsis: This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.
Illustrations: 3 Illustrations, black and white; X, 482 p. 3 illus.
Publication: Germany
Imprint: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Returns: Returnable
Some other items by this author:
ABSTRACT STATE MACHINES
ABSTRACT STATE MACHINES (PB)
ABSTRACT STATE MACHINES - THEORY AND APPLICATIONS (PB)
ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTICE (PB)
ABSTRACT STATE MACHINES, B AND Z (PB)
ADVANCES IN SOFTWARE ENGINEERING (PB)
ARCHITECTURE DESIGN AND VALIDATION METHODS (HB)
ARCHITECTURE DESIGN AND VALIDATION METHODS (PB)
AUTOMATA, LOGICS, AND INFINITE GAMES (PB)
BERECHENBARKEIT KOMPLEXITAT LOGIK (PB)
BERECHENBARKEIT, KOMPLEXITAT, LOGIK (PB)
COMPUTABILITY, COMPLEXITY, LOGIC
COMPUTABILITY, COMPLEXITY, LOGIC (HB)
COMPUTER SCIENCE LOGIC (PB)
COMPUTER SCIENCE LOGIC (PB)
COMPUTER SCIENCE LOGIC (PB)
COMPUTER SCIENCE LOGIC (PB)
COMPUTER SCIENCE LOGIC (PB)
CSL '89 (PB)
CURRENT TRENDS IN THEORETICAL COMPUTER SCIENCE: ESSAYS AND TUTORIALS (HB)
DIE KUNSTLICHE BEATMUNG AUF INTENSIVSTATIONEN (PB)
FINITE MODEL THEORY AND ITS APPLICATIONS (HB)
FINITE MODEL THEORY AND ITS APPLICATIONS (PB)
JAVA AND THE JAVA VIRTUAL MACHINE
JAVA AND THE JAVA VIRTUAL MACHINE (PB)
LECTURES IN GAME THEORY FOR COMPUTER SCIENTISTS
LECTURES IN GAME THEORY FOR COMPUTER SCIENTISTS (HB)
LOGIC AND AUTOMATA
LOGIC AND AUTOMATA (PB)
METHODS IN CELL BIOLOGY, VOLUME 24
SEMANTICS OF PROGRAMMING LANGUAGES AND MODEL THEORY (HB)
TESTS AND PROOFS (PB)

TOP SELLERS IN THIS CATEGORY
Can You Solve My Problems? (Paperback)
Guardian Faber Publishing
Our Price : £8.02
more details
Logic: A Very Short Introduction (Paperback)
Oxford University Press
Our Price : £7.29
more details
To Mock a Mockingbird: and Other Logic Puzzles (Paperback)
Oxford University Press
Our Price : £9.48
more details
Logic (Paperback)
Penguin Books Ltd
Our Price : £8.02
more details
Introducing Infinity (Paperback)
Icon Books Ltd
Our Price : £6.56
more details
BROWSE FOR BOOKS IN RELATED CATEGORIES
 MATHEMATICS AND SCIENCE
 mathematics
 mathematical foundations
 mathematical logic


Information provided by www.pickabook.co.uk
SHOPPING BASKET
  
Your basket is empty
  Total Items: 0
 






Early Learning
Little Worried Caterpillar (PB) Little Green knows she''s about to make a big change - transformingfrom a caterpillar into a beautiful butterfly. Everyone is VERYexcited! But Little Green is VERY worried. What if being a butterflyisn''t as brilliant as everyone says?Join Little Green as she finds her own path ... with just a littlehelp from her friends.
add to basket

Early Learning
add to basket

Picture Book
All the Things We Carry PB What can you carry?A pebble? A teddy? A bright red balloon? A painting you''ve made?A hope or a dream?This gorgeous, reassuring picture book celebrates all the preciousthings we can carry, from toys and treasures to love and hope. With comforting rhymes and fabulous illustrations, this is a warmhug of a picture book.
add to basket