Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Author:   S. Abramsky (Department of Computer Science, Department of Computer Science, Imperial College London) ,  Dov M. Gabbay (Department of Computer Science, Department of Computer Science, King's College London) ,  T. S. E. Maibaum (Department of Computer Science, Department of Computer Science, Imperial College London)
Publisher:   Oxford University Press
ISBN:  

9780198537816


Pages:   556
Publication Date:   25 January 2001
Format:   Hardback
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Our Price $604.95 Quantity:  
Add to Cart

Share |

Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures


Overview

Full Product Details

Author:   S. Abramsky (Department of Computer Science, Department of Computer Science, Imperial College London) ,  Dov M. Gabbay (Department of Computer Science, Department of Computer Science, King's College London) ,  T. S. E. Maibaum (Department of Computer Science, Department of Computer Science, Imperial College London)
Publisher:   Oxford University Press
Imprint:   Oxford University Press
Dimensions:   Width: 16.20cm , Height: 3.20cm , Length: 24.20cm
Weight:   0.912kg
ISBN:  

9780198537816


ISBN 10:   0198537816
Pages:   556
Publication Date:   25 January 2001
Audience:   College/higher education ,  Professional and scholarly ,  Postgraduate, Research & Scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   To order   Availability explained
Stock availability from the supplier is unknown. We will order it for you and ship this item to you once it is received by us.

Table of Contents

1: Martin Loef's Type Theory 2: Categorical Logic 3: A Uniform Method for Proving Lower Bounds on the Computational complexity of Logical Theories 4: Algebraic specification of abstract data types 5: Computable Functions and Semicomputable Sets on Many-sorted Algebras

Reviews

<br> Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read. --he Bulletin of Mathematics Books<p><br>


"""Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read.""--he Bulletin of Mathematics Books"


Oxford University Press publishes a wonderful series of books entitled Handbook of Logic in Computer Science. ... Volume 5: Logic and Algebraic Methods, has I think the best discussion of abstract data types that I have read. --he Bulletin of Mathematics Books<br>


Author Information

S Abramsky, Department of Computing, Imperial College of Science, Technology and Medicine, London Dov Gabbay, Department of Computer Science, King's College, London T S E Maibaum, Department of Computing, Imperial College of Science, Technology and Medicine, London

Tab Content 6

Author Website:  

Countries Available

All regions
Latest Reading Guide

ARG20253

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now