|
|
|
Item Details
Title:
|
SEMANTICS AND LOGICS OF COMPUTATION
|
By: |
Andrew M. Pitts (Editor), P. Dybjer (Editor) |
Format: |
Electronic book text |
List price:
|
£85.00 |
We currently do not stock this item, please contact the publisher directly for
further information.
|
|
|
|
|
ISBN 10: |
051152661X |
ISBN 13: |
9780511526619 |
Publisher: |
CAMBRIDGE UNIVERSITY PRESS |
Pub. date: |
15 September, 2009 |
Series: |
Publications of the Newton Institute 14 |
Description: |
Summer school lecture courses on modern logic and computation are presented here. |
Synopsis: |
The aim of this volume is to present developments in semantics and logics of computation in a way that is accessible to graduate students. The book is based on a summer school at the Isaac Newton Institute and consists of a sequence of linked lecture courses by international authorities in the area. The whole set has been edited to form a coherent introduction to these topics, most of which have not been presented pedagogically before. |
Publication: |
UK |
Imprint: |
Cambridge University Press (Virtual Publishing) |
Returns: |
Non-returnable |
|
|
|
|
|
|
|
|
|
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.
|
|
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.
|
|
|
|