<![CDATA[ Search for 'su:"Logic, Symbolic and mathematical" and se:Computer science and applied mathematics']]>

<![CDATA[ Search for 'su:"Logic, Symbolic and mathematical" and se:Computer science and applied mathematics']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Logic%2C%20Symbolic%20and%20mathematical%22%20and%20se%3AComputer%20science%20and%20applied%20mathematics&format=rss2 2 0 50 Symbolic logic and mechanical theorem proving ISBN 0121703509 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=418 By Chang, Chin-Liang. San Diego: Academic Press, 1973 . xiii, 331 p.; 24 cm.. 0121703509

Place Hold on Symbolic logic and mechanical theorem proving

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=418 Recursive function theory and logic ISBN 9780127689508 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=11674 By Yasuhara, Ann. New York: Academic Press, 1971 . xv, 338 p.; 24 cm.. 9780127689508

Place Hold on Recursive function theory and logic

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