<![CDATA[ Search for 'su:"Symbolic and mathematical" and su-to:Logic, Symbolic and mathematical and se:Graduate texts in computer science']]>

<![CDATA[ Search for 'su:"Symbolic and mathematical" and su-to:Logic, Symbolic and mathematical and se:Graduate texts in computer science']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Symbolic%20and%20mathematical%22%20and%20su-to%3ALogic%2C%20Symbolic%20and%20mathematical%20and%20se%3AGraduate%20texts%20in%20computer%20science&format=rss2 2 0 50 Descriptive complexity ISBN 0387986006 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2194 By Immerman, Neil. New York: Springer, 1999 . xvi, 268 p.; 25 cm.. 0387986006

Place Hold on Descriptive complexity

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=2194 First-order logic and automated theorem proving ISBN 9780387945934 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=14935 By Fitting, Melvin. New York: Springer-Verlag, 1996 . xvi, 326 p.; 24 cm.. 9780387945934

Place Hold on First-order logic and automated theorem proving

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