<![CDATA[Indraprastha Institute of Information Technology, Delhi Search for 'su:{Mathematical logic and foundations -- Proof theory and constructive mathematics -- Constructive and recursive analysis.}']]> /cgi-bin/koha/opac-search.pl?q=ccl=su%3A%7BMathematical%20logic%20and%20foundations%20--%20Proof%20theory%20and%20constructive%20mathematics%20--%20Constructive%20and%20recursive%20analysis.%7D&format=rss2 0 20