Online Public Access Catalogue (OPAC)
Library,Documentation and Information Science Division

“A research journal serves that narrow

borderland which separates the known from the unknown”


Normal view MARC view ISBD view

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.

Contributor(s): Abramsky, Samson, 1953- | Gabbay, Dov M, 1945- | Maibaum, Thomas S. E, 1947-.
Material type: TextTextPublisher: Oxford : New York : Clarendon Press ; Oxford University Press, 2000Description: 1 online resource.ISBN: 9780191546273 (electronic bk.); 0191546275 (electronic bk.).Other title: Logic and algebraic methods.Subject(s): Computer science | Logic, Symbolic and mathematical | Informatique | Logique symbolique et math�ematique | COMPUTERS -- Reference | COMPUTERS -- Machine Theory | COMPUTERS -- Computer Literacy | COMPUTERS -- Information Technology | COMPUTERS -- Data Processing | COMPUTERS -- Computer Science | COMPUTERS -- Hardware -- General | Ciencia da computacao ou informatica | Logica e semantica de programacao | ProgrammingGenre/Form: Electronic books.DDC classification: 004 Online resources: EBSCOhost
Tags from this library: No tags from this library for this title. Log in to add tags.
No physical items for this record

Includes bibliographical references and indexes.

There are no comments for this item.

Log in to your account to post a comment.

Other editions of this work

Logic and algebraic methods
Library, Documentation and Information Science Division, Indian Statistical Institute, 203 B T Road, Kolkata 700108, INDIA
Phone no. 91-33-2575 2100, Fax no. 91-33-2578 1412,

Visitor Counter