Research Catalog

Logic in computer science : modelling and reasoning about systems

Title
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Author
Huth, Michael, 1962-
Publication
Cambridge, UK ; New York : Cambridge University Press, 2004.
Supplementary Content
Publisher description

Available Online

Table of contents

Items in the Library & Off-site

Filter by

1 Item

StatusFormatAccessCall NumberItem Location
Request for On-site UseRequest Scan
How do I pick up this item and when will it be ready?
Book/TextRequest in advance QA76.9.L63 H88 2004Off-site

Details

Additional Authors
Ryan, Mark, 1962-
Description
xiv, 427 pages : illustrations; 25 cm
Subject
  • Computer logic
  • Logic programming
Bibliography (note)
  • Includes bibliographical references (p. 414-417) and index.
ISBN
052154310X (pb.)
LCCN
2004045921
OCLC
  • ocm54960031
  • SCSB-5125170
Owning Institutions
Columbia University Libraries