<![CDATA[Indraprastha Institute of Information Technology, Delhi Search with limit(s): 'mc-itype,phr:BK branch:IIITD location:GEN su-to:Mathematical analysis su-to:Mathematical logic and foundations -- Proof theory and constructive mathematics -- Intuitionistic mathematics']]> /cgi-bin/koha/opac-search.pl?&limit=mc-itype%2Cphr%3ABK&limit=branch%3AIIIT&limit=location%3AGEN&limit=su-to%3AMathematical%20analysis&limit=su-to%3AMathematical%20logic%20and%20foundations%20--%20Proof%20theory%20and%20constructive%20mathematics%20--%20Intuitionistic%20mathematics&format=rss2 0 20