Koha online catalog › ISBD view

Normal view MARC view ISBD view

Huth, Michael

Logic in computer science: modelling and reasoning about systems - 2nd ed. - Cambridge Cambridge University Press 2018 - xiv, 427p.

ISBN: 9780521543101

Subjects--Topical Terms:
Computer science
Mathematical logic

Dewey Class. No.: 005.1015113 HUT/L

Imp. Notice: It is hereby requested to all the library users to very carefully use the library resources. If the library resources are not found in good condition while returning to the library, the Central Library will not accept the damaged items and a fresh copy of the same should be replaced by the user. Marking/ highlighting on library books with pencil or ink, scribbling, tearing the pages or spoiling the same in any other way will be considered damaged.