<![CDATA[Indraprastha Institute of Information Technology, Delhi Search for 'su:{First-order logic.} and available']]> /cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BFirst-order%20logic.%7D%20and%20available&format=rss2 0 20