<![CDATA[ Search for 'su:"Computer logic" and au:Huth, Michael']]>

<![CDATA[ Search for 'su:"Computer logic" and au:Huth, Michael']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Computer%20logic%22%20and%20au%3AHuth%2C%20Michael&format=rss2 2 0 50 Logic in computer science : modelling and reasoning about systems ISBN 9780521670890 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=16865 By Huth, Michael. Cambridge: Cambridge University Press, 2010 . xiv, 427 p.; 25 cm.. 9780521670890

Place Hold on Logic in computer science : modelling and reasoning about systems

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=16865 Logic in Computer Science : modeling and reasoning about systems ISBN 052154310X http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=25324 By Huth, Michael. Cambridge: Cambridge University Press, 2004 . xiv, 427 p.; 25 cm.. 052154310X

Place Hold on Logic in Computer Science : modeling and reasoning about systems

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=25324