Log in
Koha online
Library
Title
Author
Subject
ISBN
Series
Call number
Go
Advanced search
Course reserves
Authority search
Tag cloud
Search history
[
x
]
×
Log in to your account
Login:
Password:
Forgot your password?
Refine your search
Availability
Limit to currently available items.
Authors
Huth, Michael
Ryan, Mark
Item types
Books
Topics
Binary Decision Diag...
Binary decision diag...
Computer logic
Deduction
Logic
Logic programming
Natural deduction
Predicate logic
Propositional logic
Your query retrived 2 records.
|
Unhighlight
Highlight
Relevance
Popularity (most to least)
Popularity (least to most)
Author (A-Z)
Author (Z-A)
Call number (0-9 to A-Z)
Call number (Z-A to 9-0)
Publication/Copyright date: Newest to oldest
Publication/Copyright date: Oldest to newest
Acquisition date: Newest to oldest
Acquisition date: Oldest to newest
Title (A-Z)
Title (Z-A)
1.
Logic in computer science : modelling and reasoning about systems
by
Huth, Michael
|
Ryan, Mark.
Edition:
2nd ed.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Cambridge: Cambridge University Press, 2010
Availability:
Items available for loan:
[
Call number:
005.1 HUT] (2).
Place hold
2.
Logic in Computer Science : modeling and reasoning about systems
by
Huth, Michael
|
Ryan, Mark.
Material type:
Book
; Format:
print
; Literary form:
Not fiction
Publisher:
Cambridge: Cambridge University Press, 2004
Availability:
Items available for loan:
[
Call number:
005.1015113 HUT] (1).
Place hold
Powered by
Koha