Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Series: Handbook of Logic in Computer Science;
- Publisher's listprice GBP 472.50
-
239 132 Ft (227 745 Ft + 5% VAT)
The price is estimated because at the time of ordering we do not know what conversion rates will apply to HUF / product currency when the book arrives. In case HUF is weaker, the price increases slightly, in case HUF is stronger, the price goes lower slightly.
- Discount 10% (cc. 23 913 Ft off)
- Discounted price 215 219 Ft (204 971 Ft + 5% VAT)
Subcribe now and take benefit of a favourable price.
Subscribe
239 132 Ft
Availability
printed on demand
Why don't you give exact delivery time?
Delivery time is estimated on our previous experiences. We give estimations only, because we order from outside Hungary, and the delivery time mainly depends on how quickly the publisher supplies the book. Faster or slower deliveries both happen, but we do our best to supply as quickly as possible.
Product details:
- Edition number and title :Volume 5. Algebraic and Logical Structures
- Publisher OUP Oxford
- Date of Publication 25 January 2001
- ISBN 9780198537816
- Binding Hardback
- No. of pages556 pages
- Size 242x162x32 mm
- Weight 912 g
- Language English 0
Categories
Short description:
The latest volume in this major reference work covers all major areas of application of logic and theoretical computer science
MoreLong description:
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.
MoreTable of Contents:
Martin Löf's Type Theory
Categorical Logic
A Uniform Method for Proving Lower Bounds on the Computational complexity of Logical Theories
Algebraic specification of abstract data types
Computable Functions and Semicomputable Sets on Many-sorted Algebras
