NUST Institutions Library Catalogue Search for '(su:"Computer logic.")'

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

By Huth, Michael,. Cambridge [U.K.] ; | New York : Cambridge University Press, 2004 . xiv, 427 p. : 25 cm.. 052154310X

By Levesque, Hector J.. New York : Springer, 1999 . 405 p. : 3540660127

By Harrison, J.. New York Cambridge University Press 2009 . 981 p. 9780521899574

By Huth, Michael. New York Cambridge University Press 2004 . xiv, 427 p. , Includes bibliographical references (p. 414-417) and index. 9780521670890

By Huth, Michael,. Cambridge [U.K.] ; | New York : Cambridge University Press, 2004 . xiv, 427 p. : 25 cm.. 052154310X (pbk.)

By Saeed Akhtar Bhatti, Dr Naeem Akhtar Bhatti. LAHORE A-ONE PUBLISHERS 1999 . 352P