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: SETS AND PROOFS
By: S. Barry Cooper (Editor), John K. Truss
Format: Paperback

List price: £54.99
Our price: £48.12
Discount:
12.5% off
You save: £6.87
ISBN 10: 0521635497
ISBN 13: 9780521635493
Availability: Usually dispatched within 1-3 weeks.
 Delivery rates
Stock: Currently 0 available
Publisher: CAMBRIDGE UNIVERSITY PRESS
Pub. date: 17 June, 1999
Series: London Mathematical Society Lecture Note Series 258
Pages: 448
Description: First of two volumes providing a comprehensive guide to mathematical logic.
Synopsis: Together, Sets and Proofs and its sister volume Models and Computability will provide readers with a comprehensive guide to mathematical logic. All the authors are leaders in their fields and are drawn from the invited speakers at 'Logic Colloquium '97' (the major international meeting of the Association of Symbolic Logic). It is expected that the breadth and timeliness of these two volumes will prove an invaluable and unique resource for specialists, post-graduate researchers, and the informed and interested nonspecialist.
Illustrations: Illustrations
Publication: UK
Imprint: Cambridge University Press
Returns: Returnable
Some other items by this author:
ALAN TURING: HIS WORK AND IMPACT (HB)
COMPUTABILITY IN CONTEXT: COMPUTATION AND LOGIC IN THE REAL WORLD (HB)
COMPUTABILITY THEORY
COMPUTABILITY THEORY (HB)
COMPUTABILITY THEORY (HB)
COMPUTABILITY THEORY, SECOND EDITION
COMPUTABILITY, ENUMERABILITY, UNSOLVABILITY (PB)
COMPUTATION AND LOGIC IN THE REAL WORLD (PB)
COMPUTER ORGANIZATION AND ARCHITECTURE
DISCRETE MATHEMATICS FOR COMPUTER SCIENTISTS (PB)
HOW THE WORLD COMPUTES (PB)
LOGIC COLLOQUIUM 2006
LOGIC COLLOQUIUM 2006 (HB)
MODELS AND COMPUTABILITY
MODELS AND COMPUTABILITY (PB)
NEW COMPUTATIONAL PARADIGMS (HB)
NEW COMPUTATIONAL PARADIGMS (PB)
SETS AND PROOFS
THE INCOMPUTABLE (HB)
THE ONCE AND FUTURE TURING
THE ONCE AND FUTURE TURING (HB)
THE ONCE AND FUTURE TURING (PB)
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (PB)
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (PB)
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (PB)
THEORY AND APPLICATIONS OF MODELS OF COMPUTATION (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