Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Linear Logic in Computer Science

Usually dispatched within 3 - 5 business days.

In Stock (623)

£ 108.00

Description

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

Book Details
EAN:
9780521608572
Binding:
Paperback / softback
Dimensions(mm):
228 x 153 x 23
Publication Date:
2004-11-15
Publication Country:
United Kingdom