Handbook of Logic in Computer Science : Logic and Algebraic Methods, Hardcove...-image

Handbook of Logic in Computer Science : Logic and Algebraic Methods, Hardcove...

$ 297.79

Item Length: 9.2 in ISBN: 9780198537816 gtin13: 9780198537816 Type: Textbook Subject Area: Mathematics, Computers Author: Dov M. Gabbay Publication Year: 2001 Language: English Publication Name: Handbook of Logic in Computer Science Book Title: Handbook of Logic in Computer Science : Logic and Algebraic Metho Item Height: 1.3 in Item Weight: 32.5 Oz Number of Pages: 528 Pages Publisher: Oxford University Press, Incorporated Series: Handbook of Logic in Computer Science Ser. Subject: Computer Science, Logic, Logic Design Format: Hardcover Item Width: 6.1 in

Description

Handbook of Logic in Computer Science : Logic and Algebraic Methods, Hardcover by Abramsky, S. (EDT); Gabbay, Dov. M. (EDT); Maibaum, T. S. E. (EDT), ISBN 0198537816, ISBN-13 9780198537816, Brand New, Free shipping in the US Now that the first two volumes have presented the background on fundamental mathematical structures, and the second two have drawn those threads together, mathematicians and computer scientists from Europe and North America here continue with logic and algebraic methodologies basic to computer science. In five chapters, they cover the Martin-L÷f type theory, categorical logic, a uniform method for proving lower bounds on the computational complexity of logical theories, the algebraic specification of abstract data types, and computable functions and semicomputable sets on many-sorted algebras. The series, now 15 years in production, seems to end with a sixth volume on logical methods in computer science. Annotation c. Book News, Inc., Portland, OR ()

  1. Book was in excellent new condition as described. Book arrived in great shape. Excellent overall cost. There was a shipping problem however, there were 3 books labeled as shipping together, but 2 separate packages were used and both had same tracking number so first package triggered delivered status on all 3 books even though only 2 arrived, the second package with book 3 came next day. So if you dont get one of your books when it says delivered you might wait a couple days for the 2nd package.

    Fox30d91beb0

  2. On the hunt for this particular cover art, the seller was very helpful with guidance on how to confirm through an ISBN search with the publisher. That solidified my choice to purchase from this seller. The book was packaged well for shipping and protection during travels. I'm extremely pleased with the pricing coupled with the mint condition of the book and the fast shipping (considering the hinderances caused by the current winter conditions). Great transaction and I will shop with them again!

    user19741756

  3. As pictured / as described. Shipping - I ordered Dec 12 and glanced to see something like "Arrives ... 17th-21st", quickly thinking, "OK - plenty of time for Christmas". When it didn't show up, I went back to find it was actually "January 14th-17th" - oops! my goof! Wasn't expecting 5 week shipping. But ultimately, it did come in on Dec 26th, so quicker than the stated and might have been even quicker if not for holidays. Otherwise, good packing. Quick, easy transaction. Thanks!

    vostok61b513

Related products