Logic in Computer Science : Modelling and Reasoning about Systems /
Huth, Michael.,
Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth, Mark Ryan. - 2nd ed. - UK : Cambridge University Press, c2004. - xiii, 427 p.: ill.;
This book is having Bibliographic notes.
0521670896
004.0151 / HUT/LOG
Logic in Computer Science : Modelling and Reasoning about Systems / Michael Huth, Mark Ryan. - 2nd ed. - UK : Cambridge University Press, c2004. - xiii, 427 p.: ill.;
This book is having Bibliographic notes.
0521670896
004.0151 / HUT/LOG