<![CDATA[Indraprastha Institute of Information Technology, Delhi Search for 'au:"SpringerLink (Online service)" and su-to:Computers and su-to:Programming Techniques and se:Lecture Notes in Computer Science, and su-to:Mathematical Logic and Foundations and su-to:Computer Science and se:Lecture Notes in Computer Science, and au:Pontelli, Enrico and su-to:Mathematical Logic and Formal Languages']]> /cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22SpringerLink%20%28Online%20service%29%22%20and%20su-to%3AComputers%20and%20su-to%3AProgramming%20Techniques%20and%20se%3ALecture%20Notes%20in%20Computer%20Science%2C%20and%20su-to%3AMathematical%20Logic%20and%20Foundations%20and%20su-to%3AComputer%20Science%20and%20se%3ALecture%20Notes%20in%20Computer%20Science%2C%20and%20au%3APontelli%2C%20Enrico%20and%20su-to%3AMathematical%20Logic%20and%20Formal%20Languages&format=rss2 2 0 50