Your search returned 2 results.

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

by Huth, Michael, 1962- | Ryan, Mark, 1962-.

Edition: 2nd ed.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Availability: Items available for loan: TUNGUU LENDING LIBRARY [Call number: 005.101] (2).

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

by Huth, Michael, 1962- | Ryan, Mark, 1962-.

Edition: Second edition.Material type: Text Text; Format: print ; Literary form: Not fiction Publisher: Cambridge [U.K.] ; New York : Cambridge University Press, 2004Availability: Items available for loan: TUNGUU LENDING LIBRARY [Call number: 005.101] (1).

Powered by Koha