 |
|
|
Item Details
| Title:
|
LOGIC: FROM FOUNDATIONS TO APPLICATIONS
EUROPEAN LOGIC COLLOQUIUM |
| By: |
Wilfrid Hodges (Editor), Martin Hyland (Editor), Charles Steinhorn (Editor) |
| Format: |
Hardback |
| List price:
|
£36.49 |
| Our price: |
£31.93 |
| Discount: |
|
| You save:
|
£4.56 |
|
|
|
|
|
| ISBN 10: |
0198538626 |
| ISBN 13: |
9780198538622 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
OXFORD UNIVERSITY PRESS |
| Pub. date: |
20 June, 1996 |
| Pages: |
550 |
| Description: |
The volume contains twenty-one essays by leading authorities on aspects of contemporary mathematical logic, including set theory, model theory, constructive mathematics and applications of computer science. It includes several excellent expository papers, including in particular the first thorough expositions of applications of 0-minimal structures in field theory. |
| Synopsis: |
This book contains twenty-one essays by leading authorities on aspects of contemporary logic, ranging from foundations of set theory to applications of logic in computing and in the theory of fields. In those parts of logic closest to computer science, the gap between foundations and applications is often small, as illustrated by three essays on the proof theory of non-classical logics. There are also chapters on the lambda calculus, on relating logic programs to inductive definitions, on Buechi and Presburger arithmetics, and on definability in Lindenbaum algebras. Aspects of constructive mathematics discussed are embeddings of Heyting algebras and proofs in mathematical anslysis. Set theory is well covered with six chapters discussing Cohen forcing, Baire category, determinancy, Nash-Williams theory, critical points (and the remarkable connection between them and properties of left distributive operations) and independent structures.The longest chapter in the book is a survey of 0-minimal structures, by Lou van den Dries; during the last ten years these structures have come to take a central place in applications of model theory to fields and function theory, and this chapter is the first broad survey of the area. Other chapters illustrate how to apply model theory to field theory, complex geometry and groups, and how to recover from its automorphism group. Finally, one chapter applies to the theory of toric varieties to solve problems about many-valued logics. |
| Illustrations: |
line figures |
| Publication: |
UK |
| Imprint: |
Clarendon Press |
| Returns: |
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.
|
|
|
|