Logic in computer science : modelling and reasoning about systems
by
 
Huth, Michael.

Title
: 
Logic in computer science : modelling and reasoning about systems

Author
: 
Huth, Michael.

ISBN
: 
9780521543101

Personal Author
: 
Huth, Michael.

Edition
: 
2nd ed.

Publication Information
: 
Cambridge [u.a] : Cambridge University Press, 2004.

Physical Description
: 
xiv, 427 S : Ill ; 25cm.

General Note
: 
Previous ed.: 1999.

Added Author
: 
Ryan, Mark.

Electronic Access
: 
http://www.loc.gov/catdir/description/cam041/2004045921.html
 
http://www.loc.gov/catdir/samples/cam041/2004045921.html
 
http://www.loc.gov/catdir/toc/cam041/2004045921.html


LibraryMaterial TypeItem BarcodeShelf NumberCopy
CataloguingUnknown40832-1002NO CONFIGURATION2
IIEMSAGeneral Books33168025455953005.1015113 H979L 20041
IIEMSAGeneral Books33168025456027005.1015113 H979L 20042