Image from Amazon.com
Handbook of logic in computer science. Volume 5, Logic and algebraic methods [electronic resource] / edited by S. Abramsky, Dov M. Gabbay, and T.S.E. Maibaum ; volume co-ordinator, Dov M. Gabbay.
Material type:
TextPublication details: Oxford : Clarendon Press ; New York : Oxford University Press, 2000.Description: 1 online resourceISBN: - 9780191546273 (electronic bk.)
- 0191546275 (electronic bk.)
- Logic and algebraic methods
- 004 22
- QA76 .H2785 2000eb
| Item type | Current library | Collection | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|
eBook
|
e-Library | EBSCO Computers | Available |
Total holds: 0
Title from ebook title screen (viewed Jan. 6, 2004).
Includes bibliographical references and indexes.