Logic in computer science :
Huth, Michael 1962-
Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan. - 2nd edition - Delhi Cambridge University Press, 2016 - xiv, 427 p.
Includes bibliographical references (p. 414-417) and index.
052154310X (pbk.) Rs. 795.00 = EECS EECS collection Computer Modelling and reasoning Computer logic
2004045921
Computer logic.
Logic programming.
004.0151 H971L
Logic in computer science : modelling and reasoning about systems Michael Huth, Mark Ryan. - 2nd edition - Delhi Cambridge University Press, 2016 - xiv, 427 p.
Includes bibliographical references (p. 414-417) and index.
052154310X (pbk.) Rs. 795.00 = EECS EECS collection Computer Modelling and reasoning Computer logic
2004045921
Computer logic.
Logic programming.
004.0151 H971L