Normal view MARC view ISBD view

Huth, Michael, 1962-

Logic in computer science : modelling and reasoning about systems / Michael Huth, Department of Computing, Imperial College London, United Kingdom, Mark Ryan, School of Computer Science, University of Birmingham, United Kingdom. - Second edition, Reprinted. - xiv, 427 pages : illustrations ; 25 cm

Includes bibliographical references and index.

ISBN: 052154310X (pbk.) 9780521543101

Subjects--Topical Terms:
Computer logic.
Logic programming.

Subjects--Index Terms:

Index Terms--Genre/Form: --Reading book

Dewey Class. No.: 005.1015113 / HUT