My Library

University LibraryCatalogue

Limit search to items available for borrowing or consultation
Record 4 of 8
Result Page: Previous Next
Can't find that book? Try BONUS+
Look for full text

Search Discovery

Search CARM Centre Catalogue

Search Trove

Add record to RefWorks

Author Huth, Michael, 1962-

Title Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.

Published Cambridge, UK ; New York : Cambridge University Press, 2004.


Location Call No. Status
 UniM ERC  005.1015113 HUTH    AVAILABLE
Edition 2nd ed.
Physical description xiv, 427 p. : ill. ; 25 cm.
Bibliography Includes bibliographical references (p. 414-417) and index.
Other author Ryan, Mark, 1962-
Subject Computer logic.
Logic programming (Computer science)
ISBN 052154310X (pb.)