Central Library , Vidyasagar University

Your cart is empty.

Online Public Access Catalogue (OPAC)
Central Library - Vidyasagar University

“Education does not only mean learning, reading, writing, and arithmetic,

it should provide a comprehensive knowledge”

-Ishwarchandra Vidyasagar


Huth, Michael

Logic in computer science : modelling and reasoning about systems / by Michael Huth and Mark Ryan - 2nd ed. - Delhi : Cambridge University Press, 2004. - xiv,427p.: ills.; 24cm.

Includes bibliographical references and index.

9780521670890 Rs.795.00


COMPUTER SCIENCE

003.3 / HUT/L

Powered by Koha