<?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:{ Mathematical logic and foundations}']]> </title> <!-- prettier-ignore-start --> <link> /cgi-bin/koha/opac-search.pl?idx=&#38;q=su%3A%7B%20Mathematical%20logic%20and%20foundations%7D&#38;sort_by=relevance&#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%7B%20Mathematical%20logic%20and%20foundations%7D&#38;sort_by=relevance&#38;format=rss" /> <description> <![CDATA[ Search results for 'su:{ Mathematical logic and foundations}' at Delhi University Library System]]> </description> <opensearch:totalResults>19</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%7B%20Mathematical%20logic%20and%20foundations%7D&#38;sort_by=relevance&#38;format=opensearchdescription" /> <opensearch:Query role="request" searchTerms="idx%3D%26q%3Dsu%253A%257B%2520Mathematical%2520logic%2520and%2520foundations%257D" startPage="" /> <item> <title> Mathematical logic and the foundations introductory </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=191434</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Kneebone G T.<br /> 1963 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=191434">Place hold on <em>Mathematical logic and the foundations </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=191434</guid> </item> <item> <title> Mathematical logic : foundations for information science </title> <dc:identifier>ISBN:9783034808613 </dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=13693</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/3034808615.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Li, Wei.<br /> New York : Birkhauser, 2014 .<br /> xiv, 301p. , Appendix 1-2 279-282p.; Bibliography 293-296p.; Index 297-301p. 9783034808613 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=13693">Place hold on <em>Mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=13693</guid> </item> <item> <title> Martin Davis on Computability, Computational Logic, and Mathematical Foundations </title> <dc:identifier>ISBN:9783319418421</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1617389</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/3319418424.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Eugenio G. Omodeo, Alberto Policriti.<br /> Springer 2016 9783319418421 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1617389">Place hold on <em>Martin Davis on Computability, Computational Logic, and Mathematical Foundations</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1617389</guid> </item> <item> <title> Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2 </title> <dc:identifier>ISBN:9781383026115</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1529054</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/1383026114.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Gabbay.<br /> Oxford University PressOxford University Press 2023 9781383026115 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1529054">Place hold on <em>Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1529054</guid> </item> <item> <title> Handbook of mathematical logic. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=759017</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Barwise Jon Ed..<br /> Oxford North Holland 1977 .<br /> xi,1165p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=759017">Place hold on <em>Handbook of mathematical logic.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=759017</guid> </item> <item> <title> Mathematical logic and the foundations of mathematics: an introductory survey. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=564930</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Kneebone G.T..<br /> London D.Van Nostrand Company Ltd. 1963 .<br /> xiv,435 p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=564930">Place hold on <em>Mathematical logic and the foundations of mathematics: an introductory survey.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=564930</guid> </item> <item> <title> Mathematical logic and the foundations of mathematics :An introductory survey </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=50426</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Kneebone G T.<br /> London D Van Nostrand 1963 .<br /> xiv, 435p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=50426">Place hold on <em>Mathematical logic and the foundations of mathematics :An introductory survey</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=50426</guid> </item> <item> <title> Survey of mathematical logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=191437</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Wang Hao.<br /> Peking Science Press Ching 1963 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=191437">Place hold on <em>Survey of mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=191437</guid> </item> <item> <title> Set theory and foundations of mathematics: An introduction io mathematical logic </title> <dc:identifier>ISBN:9789811243844</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1237400</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/9811243840.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Cenzer, Douglas.<br /> Singapore World Scientific 2022 .<br /> xiii, 239p. ill. 9789811243844 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1237400">Place hold on <em>Set theory and foundations of mathematics: An introduction io mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1237400</guid> </item> <item> <title> Elements of mathematical logic Model theory </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=191454</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Kreisel G.<br /> 1967 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=191454">Place hold on <em>Elements of mathematical logic </em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=191454</guid> </item> <item> <title> Dictionary of symbols of mathematical logic. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=769570</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Feys Robert Ed..<br /> Amsterdam North Holland Publishing 1969 .<br /> xiv,171p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=769570">Place hold on <em>Dictionary of symbols of mathematical logic.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=769570</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> Set Theory and Foundations of Mathematics: an Introduction to Mathematical Logic - Volume Ii: Foundations of Mathematics </title> <dc:identifier>ISBN:9789811243851</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1537536</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/9811243859.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Cenzer Douglas Et Al.<br /> World Scientific | WSPC 2022 9789811243851 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1537536">Place hold on <em>Set Theory and Foundations of Mathematics: an Introduction to Mathematical Logic - Volume Ii: Foundations of Mathematics</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1537536</guid> </item> <item> <title> Dictionary of symbols of mathematical logic. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1037399</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Feys R.<br /> 1969 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1037399">Place hold on <em>Dictionary of symbols of mathematical logic.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1037399</guid> </item> <item> <title> Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory </title> <dc:identifier>ISBN:9789811297830 </dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1678397</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/9811297835.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Douglas Cenzer .<br /> World Scientific 2025 9789811297830 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1678397">Place hold on <em>Set Theory And Foundations Of Mathematics: An Introduction To Mathematical Logic - Volume I: Set Theory</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1678397</guid> </item> <item> <title> Set Theory and Foundations of Mathematics: an Introduction to Mathematical Logic - Volume I: Set Theory </title> <dc:identifier>ISBN:9789811201936</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1537686</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/9811201935.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Cenzer Douglas Et Al.<br /> World Scientific | WSPC 2020 9789811201936 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1537686">Place hold on <em>Set Theory and Foundations of Mathematics: an Introduction to Mathematical Logic - Volume I: Set Theory</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1537686</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> Lambda calculus: its syntax and semantics </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=46547</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Barendregt H P.<br /> Amsterdam North Holland 1984 .<br /> xv,621p. , Includes bibliography cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=46547">Place hold on <em>Lambda calculus: its syntax and semantics</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=46547</guid> </item> <item> <title> Logical tools for handling change in agent-based systems </title> <dc:identifier>ISBN:9783642044069 (hbd)</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=20871</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/3642044069.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Gabbay Dov M Ed..<br /> Berlin Springer 2010 .<br /> x, 305p. , Bibliography 295-298p.; Index 299-305p. cm..<br /> 9783642044069 (hbd) </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=20871">Place hold on <em>Logical tools for handling change in agent-based systems</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=20871</guid> </item> </channel> </rss>
