Your search returned 3 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).

3. Geometry workbook for dummies

by RYAN, Mark.

Material type: Text Text Publisher: Canada, John Wiley & Sons, Inc, 2007Availability: Items available for loan: BENJAMIN WILLIAM MKAPA LIBRARY [Call number: 516 RYA] (1).

Powered by Koha