Library
Your session will expire automatically in
0
seconds.
Continue session
End session now
SearchType
TITLE
KEYWORD
AUTHOR
SUBJECT
BJL CLASSMARK
KDL CLASSMARK
PERIODICAL TITLE
ISN
RESOURCE NAME
RESOURCE SUBJECT
Search
Search Scope
BJL, Hull
KDL, Scarborough
All Libraries
Limit search to available items
Record:
Author
Huth, Michael, 1962-
Title
Logic in computer science : modelling and reasoning about systems / Michael Huth, Mark Ryan.
Publication Info
Cambridge : Cambridge University Press, c2004.
Edition
2nd ed.
Location/Availability
More Details
Full Record
Web View
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Descript
427p.
Edition
2nd ed.
ISBN
9780521543101 (pbk.)
052154310X
Click on the terms below to find similar items in the catalogue
Author
Huth, Michael, 1962-
Subject
Computer logic.
Alt author
Ryan, Mark, 1962-
Descript
427p.
Edition
2nd ed.
ISBN
9780521543101 (pbk.)
052154310X
Author
Huth, Michael, 1962-
Subject
Computer logic.
Alt author
Ryan, Mark, 1962-
Subject
Computer logic.
Descript
427p.
Alt author
Ryan, Mark, 1962-
ISBN
9780521543101 (pbk.)
052154310X
Persistent link to this item
Click link and copy URL from browser navigation toolbar
Links and services for this item:
Persistent link to this item
Click link and copy URL from browser navigation toolbar
