<![CDATA[ Search for 'su:"Quantifier elimination"']]>

<![CDATA[ Search for 'su:"Quantifier elimination"']]> http://opac.daiict.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Quantifier%20elimination%22&format=rss2 2 0 50 Guide to classical and modern model theory ISBN 9781402013317 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=28528 By Marcja, Annalisa. Boston: Kluwer Academic Publishers 2003 . xi, 369 p. 25 cm.. 9781402013317

Place Hold on Guide to classical and modern model theory

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=28528 Sets, models and proofs ISBN 9783319924137 http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=33768 By Moerdijk, Ieke. Cham : Springer, 2018 . xiv, 141 p. ; 24 cm. 9783319924137

Place Hold on Sets, models and proofs

]]> http://opac.daiict.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=33768