<![CDATA[Indraprastha Institute of Information Technology, Delhi Search for 'su:{Mathematical Logic and Formal Languages.} and au:Dix, Jürgen and su-to:Mathematical Logic and Formal Languages and se:Lecture Notes in Computer Science, Lecture Notes in Artificial Intelligence,']]> /cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BMathematical%20Logic%20and%20Formal%20Languages.%7D%20and%20au%3ADix%2C%20J%C3%83%C2%BCrgen%20and%20su-to%3AMathematical%20Logic%20and%20Formal%20Languages%20and%20se%3ALecture%20Notes%20in%20Computer%20Science%2C%20Lecture%20Notes%20in%20Artificial%20Intelligence%2C&format=rss2 0 20