Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures
Author | : S. Abramsky |
Publisher | : OUP Oxford |
Total Pages | : 556 |
Release | : 2001-01-25 |
ISBN-10 | : 9780191546273 |
ISBN-13 | : 0191546275 |
Rating | : 4/5 (73 Downloads) |
Book Synopsis Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures by : S. Abramsky
Download or read book Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures written by S. Abramsky and published by OUP Oxford. This book was released on 2001-01-25 with total page 556 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.