<?xml version="1.0" encoding="utf-8" ?> <rss version="2.0" xmlns:opensearch="http://a9.com/-/spec/opensearch/1.1/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:atom="http://www.w3.org/2005/Atom"> <channel> <title> <![CDATA[Delhi University Library System Search for 'su:{Logic symbolic and mathematical}']]> </title> <!-- prettier-ignore-start --> <link> /cgi-bin/koha/opac-search.pl?idx=&#38;q=su%3A%7BLogic%20symbolic%20and%20mathematical%7D&#38;sort_by=title_asc&#38;format=rss </link> <!-- prettier-ignore-end --> <atom:link rel="self" type="application/rss+xml" href="/cgi-bin/koha/opac-search.pl?idx=&#38;q=su%3A%7BLogic%20symbolic%20and%20mathematical%7D&#38;sort_by=title_asc&#38;format=rss" /> <description> <![CDATA[ Search results for 'su:{Logic symbolic and mathematical}' at Delhi University Library System]]> </description> <opensearch:totalResults>22</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>50</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="/cgi-bin/koha/opac-search.pl?idx=&#38;q=su%3A%7BLogic%20symbolic%20and%20mathematical%7D&#38;sort_by=title_asc&#38;format=opensearchdescription" /> <opensearch:Query role="request" searchTerms="idx%3D%26q%3Dsu%253A%257BLogic%2520symbolic%2520and%2520mathematical%257D" startPage="" /> <item> <title> Conceptual harmonies: The origins and relevance of Hegel's logic </title> <dc:identifier>ISBN:9780226826059 | 9780226826073</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1431297</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0226826058.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Redding, Paul.<br /> Chicago, USA; | London, UK: The University of Chicago Press, 2023 .<br /> xv, 286p. : 24 cm.<br /> 9780226826059 | 9780226826073 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1431297">Place hold on <em>Conceptual harmonies:</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1431297</guid> </item> <item> <title> Constructibility and mathematical existence </title> <dc:identifier>ISBN:0198248172</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=645880</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0198248172.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Chihara Charles S.<br /> Oxford Clarendon Press U K 1990 .<br /> xv,282p , Bibliography: P 273-78; Appendix: P 261-72 cm..<br /> 0198248172 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=645880">Place hold on <em>Constructibility and mathematical existence</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=645880</guid> </item> <item> <title> Course in mathematical logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=55485</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Koblitz Neal Tr..<br /> New York Spring-Verlag 1977 .<br /> xii, 286p. , Tr from the Russian by Neal Koblitz cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=55485">Place hold on <em>Course in mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=55485</guid> </item> <item> <title> Foundations of mathematics and other logical essays </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=691351</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Ramsey, Frank Plumpton.<br /> Totowa Littlefields Adams and Co. 1965 .<br /> xviii, 292 p. </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=691351">Place hold on <em>Foundations of mathematics and other logical essays</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=691351</guid> </item> <item> <title> Hand book of Mathematical logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=58385</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Barwise Jon Ed..<br /> Amsterdam North-Holland 1977 .<br /> xi, 1165p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=58385">Place hold on <em>Hand book of Mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=58385</guid> </item> <item> <title> Logic and integer programming </title> <dc:identifier>ISBN:9780387922799 (hbd)</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=21527</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0387922792.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Williams H Paul.<br /> Dordrecht Springer 2009 .<br /> xi, 155p. , References 145- 150p.; Index 151- 155p. cm..<br /> 9780387922799 (hbd) </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=21527">Place hold on <em>Logic and integer programming</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=21527</guid> </item> <item> <title> Mathematical logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=59899</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Monk J Donald.<br /> New York Springer-Verlag 1976 .<br /> x, 531p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=59899">Place hold on <em>Mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=59899</guid> </item> <item> <title> Mathematical structures of language </title> <dc:identifier>ISBN:470 353163</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=569551</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Harris Zellig.<br /> London Interscience Publishers 1968 .<br /> ix, 230p cm..<br /> 470 353163 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=569551">Place hold on <em>Mathematical structures of language</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=569551</guid> </item> <item> <title> Philosophical and mathematical correspondence. Edi </title> <dc:identifier>ISBN:0226261972</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=533956</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0226261972.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Frege Gottlob.<br /> Chicago University of Chicago Press 1980 .<br /> xviii, 214p , Bibliography: P 210-11 cm..<br /> 0226261972 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=533956">Place hold on <em>Philosophical and mathematical correspondence. Edi</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=533956</guid> </item> <item> <title> Philosophical and mathematical correspondence. Edi </title> <dc:identifier>ISBN:0226261972</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=501023</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0226261972.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Frege Gottlob.<br /> Chicago University of Chicago Press 1980 .<br /> xviii, 214p , Bibliography: P 210-11 cm..<br /> 0226261972 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=501023">Place hold on <em>Philosophical and mathematical correspondence. Edi</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=501023</guid> </item> <item> <title> Proceeding of mathematical logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=55399</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Arruda Ayda I Ed..<br /> New York Marcell Dekker 1978 .<br /> xii, 303p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=55399">Place hold on <em>Proceeding of mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=55399</guid> </item> <item> <title> Proofs and refutations Logic of mathematical dis </title> <dc:identifier>ISBN:0 521 21078 X</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=527367</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/052121078X.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By LAKATOS Imre.<br /> Cambridge Cambridge University Press 1976 .<br /> xii, 174p , Bibliography: P 155-65 cm..<br /> 0 521 21078 X </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=527367">Place hold on <em>Proofs and refutations </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=527367</guid> </item> <item> <title> Proofs and refutations Logic of mathematical dis </title> <dc:identifier>ISBN:0 521 21078 X</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=526562</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/052121078X.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By LAKATOS Imre.<br /> Cambridge Cambridge University Press 1976 .<br /> xii, 174p , Bibliography: P 155-65 cm..<br /> 0 521 21078 X </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=526562">Place hold on <em>Proofs and refutations </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=526562</guid> </item> <item> <title> Proofs and refutations Logic of mathematical dis </title> <dc:identifier>ISBN:0 521 21078 X</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=494434</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/052121078X.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By LAKATOS Imre.<br /> Cambridge Cambridge University Press 1976 .<br /> xii, 174p , Bibliography: P 155-65 cm..<br /> 0 521 21078 X </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=494434">Place hold on <em>Proofs and refutations </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=494434</guid> </item> <item> <title> Proofs and refutations Logic of mathematical dis </title> <dc:identifier>ISBN:0 521 21078 X</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=493629</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/052121078X.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By LAKATOS Imre.<br /> Cambridge Cambridge University Press 1976 .<br /> xii, 174p , Bibliography: P 155-65 cm..<br /> 0 521 21078 X </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=493629">Place hold on <em>Proofs and refutations </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=493629</guid> </item> <item> <title> Selected papers in logic and foundations, didactics,economics </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=53740</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Menger Karl.<br /> Dordrecht D Reidel 1979 .<br /> xii,338p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=53740">Place hold on <em>Selected papers in logic and foundations, didactics,economics</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=53740</guid> </item> <item> <title> Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997 </title> <dc:identifier>ISBN:0521635497 (pbk)</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=65848</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0521635497.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Cooper S Barry Ed.<br /> Cambridge Cambridge University Press 1999 .<br /> ix,436 , Includes bibliographical references 0521635497 (pbk) </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=65848">Place hold on <em>Sets and proofs: invited papers from Logic Colloquium '97- European Meeting of the Association for symbolic logic, Leeds, July 1997</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=65848</guid> </item> <item> <title> Sets, logic, and axiomatic theories </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=652765</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Stoll Robert R..<br /> San Francisco W.H. Freeman &amp; Company 1961 .<br /> x, 206 p. </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=652765">Place hold on <em>Sets, logic, and axiomatic theories</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=652765</guid> </item> <item> <title> Studies in logic and probability </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=691361</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Boole, George.<br /> London Watts and Co. 1952 .<br /> 500 p . </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=691361">Place hold on <em>Studies in logic and probability</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=691361</guid> </item> <item> <title> Symbolic logic and mechanical theorem proving </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=71911</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Chang Chin-Lang.<br /> Boston Academic Press 1973 .<br /> 331p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=71911">Place hold on <em>Symbolic logic and mechanical theorem proving</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=71911</guid> </item> <item> <title> The Joy of X: A Guided Tour of Math, from One to Infinity </title> <dc:identifier>ISBN:9781848878457</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1431369</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/1848878451.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Strogatz, Steven .<br /> London: Atlantic books, 2012 .<br /> xii, 316p. , Includes acknowledgements, notes, credits and index ; 20 cm..<br /> 9781848878457 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1431369">Place hold on <em>The Joy of X: </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1431369</guid> </item> <item> <title> Topics in Model Theory </title> <dc:identifier>ISBN:9789811243998</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1431672</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/9811243999.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Pillay, Anand .<br /> Singapore: World Scientific, 2024 .<br /> xii, 138p. , Includes Index ; 23 cm..<br /> 9789811243998 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1431672">Place hold on <em>Topics in Model Theory</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1431672</guid> </item> </channel> </rss>
