| Title:
|
HANDBOOK OF LOGIC IN COMPUTER SCIENCE: VOLUME 5. ALGEBRAIC AND LOGICAL STRUCTURES
|
| By: |
Samson Abramsky (Editor), Dov M. Gabbay (Editor), Thomas S. E. Maibaum (Editor) |
| Format: |
Hardback |
| List price:
|
£472.50 |
| Our price: |
£413.44 |
| Discount: |
|
| You save:
|
£59.06 |
|
|
|
|
|
| ISBN 10: |
0198537816 |
| ISBN 13: |
9780198537816 |
| Availability: |
Usually dispatched within 1-3 weeks.
 Delivery
rates
|
| Stock: |
Currently 0 available |
| Publisher: |
OXFORD UNIVERSITY PRESS |
| Pub. date: |
25 January, 2001 |
| Series: |
Handbook of Logic in Computer Science |
| Pages: |
556 |
| Description: |
The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science |
| Synopsis: |
This handbook volume covers fundamental topics of semantics in logic and computation. The chapters (some monographic in length), were written following years of co-ordination and follow a thematic point of view. The volume brings the reader up to front line research, and is indispensable to any serious worker in the areas. |
| Publication: |
UK |
| Imprint: |
Oxford University Press |
| Returns: |
Returnable |