Logic in computer science: modelling and reasoning about systems

Author

Huth, Michael, 1962-

Publisher

Cambridge University Press

Publication Date

2000

Language

English

Book
 Show Edition

Available from another library

Where is it?

See Full Copy Details

Place Hold

Add to List

SHARE