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