Image from Google Jackets

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

By: Contributor(s): Publication details: Delhi Cambridge University Press, 2016Edition: 2nd editionDescription: xiv, 427 pISBN:
  • 052154310X (pbk.)
Subject(s): DDC classification:
  • 004.0151 H971L 23
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Collection Call number Status Notes Date due Barcode
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8120
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8126
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8124
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8125
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8123
Books Books Central Library, IISER Bhopal Reference Section Reference 004.0151 H971L (Browse shelf(Opens below)) Not For Loan Reserve 8119
Books Books Central Library, IISER Bhopal Reference Section Reference 004.0151 H971L (Browse shelf(Opens below)) Not For Loan Reserve 8118
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8121
Books Books Central Library, IISER Bhopal Reference Section Reference 004.0151 H971L (Browse shelf(Opens below)) Not For Loan Reserve 8117
Books Books Central Library, IISER Bhopal General Section 004.0151 H971L (Browse shelf(Opens below)) Available 8122

Includes bibliographical references (p. 414-417) and index.

There are no comments on this title.

to post a comment.



Contact for Queries: skpathak@iiserb.ac.in