01682cam a22003734a 4500 29152 29123 13550178 EG-ScBUE 20210601153019.0 040407r20052004enka f b 001 0 eng d 052154310X (pbk.) 9780521543101 DLC eng rda DLC DLC EG-ScBUE 005.1015113 HUT 22 Huth, Michael, 1962- author. 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. Cambridge : Cambridge University Press, 2005. xiv, 427 pages : illustrations ; 25 cm rdacontent text txt rdamedia unmediated n rdacarrier volume nc Includes bibliographical references and index. Computer logic. BUEsh Logic programming. BUEsh COMSCI June2021 Reading book 34232 Ryan, Mark, 1962- author. Sample text http://www.loc.gov/catdir/samples/cam041/2004045921.html Table of contents http://www.loc.gov/catdir/toc/cam041/2004045921.html Publisher description http://www.loc.gov/catdir/description/cam041/2004045921.html 7 cbc orignew 1 ocip 20 y-gencatlg ddc BB 0 0 ddc 0 0 Baccah MAIN MAIN LOW 2021-06-01 Purchase 0 005.1015113 HUT 000050282 2025-07-15 00:00:00 2021-06-01 BB