<?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:{ Algebraic logic}']]> </title> <!-- prettier-ignore-start --> <link> /cgi-bin/koha/opac-search.pl?idx=&#38;q=su%3A%7B%20Algebraic%20logic%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%7B%20Algebraic%20logic%7D&#38;sort_by=title_asc&#38;format=rss" /> <description> <![CDATA[ Search results for 'su:{ Algebraic logic}' 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%7B%20Algebraic%20logic%7D&#38;sort_by=title_asc&#38;format=opensearchdescription" /> <opensearch:Query role="request" searchTerms="idx%3D%26q%3Dsu%253A%257B%2520Algebraic%2520logic%257D" startPage="" /> <item> <title> Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs </title> <dc:identifier>ISBN:9783030714307</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1658178</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/3030714306.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Ivo Düntsch, Edwin Mares.<br /> Springer 2022 9783030714307 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1658178">Place hold on <em>Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1658178</guid> </item> <item> <title> Algebraic approach to non-classical logics. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=776309</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Rasiowa Helena.<br /> New York North-Holland Publishing 1974 .<br /> xv,403p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=776309">Place hold on <em>Algebraic approach to non-classical logics.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=776309</guid> </item> <item> <title> Algebraic foundations of mathematics </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=58644</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Beaumont Ross A.<br /> Reading Addison-wesley 1963 .<br /> x,483p. , Bibliography 481-483p cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=58644">Place hold on <em>Algebraic foundations of mathematics</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=58644</guid> </item> <item> <title> Algebraic foundations of mathematics </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=58643</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Beaumont Ross A.<br /> Reading Addison-wesley 1963 .<br /> x,483p. , Bibliography 481-483p cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=58643">Place hold on <em>Algebraic foundations of mathematics</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=58643</guid> </item> <item> <title> Algebraic introduction to mathematical logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=63293</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Barnes Donald W.<br /> New York Springer Verlag 1975 .<br /> viii, 121p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=63293">Place hold on <em>Algebraic introduction to mathematical logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=63293</guid> </item> <item> <title> Algebraic introduction to mathematical logic. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=831327</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Barnes Donald W.<br /> 1975 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=831327">Place hold on <em>Algebraic introduction to mathematical logic.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=831327</guid> </item> <item> <title> Algebraic logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=809328</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Halmos Paul R.<br /> 1962 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=809328">Place hold on <em>Algebraic logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=809328</guid> </item> <item> <title> Algebraic logic </title> <dc:identifier>ISBN:9780486801452 (pbk) | SL01600282</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=13940</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0486801454.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Halmos Paul R.<br /> New York Dover 2016 .<br /> 271p. ill. , Index 269-271p. 9780486801452 (pbk) | SL01600282 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=13940">Place hold on <em>Algebraic logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=13940</guid> </item> <item> <title> Algebraic Methods in Philosophical Logic </title> <dc:identifier>ISBN:9781383025064</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1527752</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/1383025061.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Dunn.<br /> Oxford University PressOxford University Press 2023 9781383025064 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1527752">Place hold on <em>Algebraic Methods in Philosophical Logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1527752</guid> </item> <item> <title> Bilinear algebra: an introduction to the algebraic theory of quadratic forms by Kazimierz Szymiczek </title> <dc:identifier>ISBN:9056990764 (hbd)</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=53377</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/9056990764.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Szymiczek Kazimierz.<br /> Australia Gordon and Breach Science Publishers 1997 .<br /> xii,486p , Appendices A-B,425-470p; Bibliography 471-478p; Notation 479-481p; Index 482-486p 9056990764 (hbd) </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=53377">Place hold on <em>Bilinear algebra: an introduction to the algebraic theory of quadratic forms by Kazimierz Szymiczek</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=53377</guid> </item> <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> Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science </title> <dc:identifier>ISBN:9783319747729</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1629484</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/331974772X.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Janusz Czelakowski.<br /> Springer 2018 9783319747729 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1629484">Place hold on <em>Don Pigozzi on Abstract Algebraic Logic, Universal Algebra, and Computer Science</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1629484</guid> </item> <item> <title> Fundamentals of generalized recursion theory </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=42668</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Fitting Melvin.<br /> Amsterdam North-Holland 1981 .<br /> xx, 307p. , Bibliography 297-302p; Appendix 294-96p cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=42668">Place hold on <em>Fundamentals of generalized recursion theory</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=42668</guid> </item> <item> <title> Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures </title> <dc:identifier>ISBN:9780191916663</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1520114</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0191916668.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Abramsky, Gabbay, Maibaum.<br /> Oxford University PressOxford University Press 2020 9780191916663 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1520114">Place hold on <em>Handbook of Logic in Computer Science: Volume 5. Algebraic and Logical Structures</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1520114</guid> </item> <item> <title> Logic in Algebraic form: Three languages and theories </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=63063</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Graig William.<br /> Amsterdam North Holland Pub. 1974 .<br /> viii, 204p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=63063">Place hold on <em>Logic in Algebraic form: Three languages and theories</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=63063</guid> </item> <item> <title> Proceeding on algebraic and logic programming </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=17669</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Grabowski J Ed..<br /> Berlin Springer-Verlag 1988 .<br /> 278p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=17669">Place hold on <em>Proceeding on algebraic and logic programming</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=17669</guid> </item> <item> <title> Selected topices in algebra and its interrelations with logic, number theory and algebraic geometry </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=62477</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Bucur Ionel.<br /> Bucurest Editura Academiei 1984 .<br /> viii, 406p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=62477">Place hold on <em>Selected topices in algebra and its interrelations with logic, number theory and algebraic geometry</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=62477</guid> </item> <item> <title> Selected topices in algebra and its interrelations with logic, number theory and algebraic geometry </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=62476</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Bucur Ionel.<br /> Bucurest Editura Academiei 1984 .<br /> viii, 406p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=62476">Place hold on <em>Selected topices in algebra and its interrelations with logic, number theory and algebraic geometry</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=62476</guid> </item> <item> <title> Selected topics in algebra and its interrelations with logic number theory and algebraic geometry </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=809445</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Bucur Ionel.<br /> 1984 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=809445">Place hold on <em>Selected topics in algebra and its interrelations with logic number theory and algebraic geometry</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=809445</guid> </item> <item> <title> Studies in algebraic logic. </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=828246</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Daigneault Aubert Ed..<br /> 1974 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=828246">Place hold on <em>Studies in algebraic logic.</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=828246</guid> </item> <item> <title> Toposes algebraic geometry and logic </title> <dc:identifier>ISBN:</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=75005</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <p> By Bucur I.<br /> Berlin Springer-Verlag 1972 .<br /> 189p. cm..<br /> </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=75005">Place hold on <em>Toposes algebraic geometry and logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=75005</guid> </item> <item> <title> Universal Algebraic Logic </title> <dc:identifier>ISBN:9783031148873</dc:identifier> <!-- prettier-ignore-start --> <link>/cgi-bin/koha/opac-detail.pl?biblionumber=1667279</link> <!-- prettier-ignore-end --> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/3031148878.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Hajnal Andréka, Zalán Gyenis, István Németi, Ildikó Sain.<br /> Springer 2022 9783031148873 </p> ]]> <![CDATA[ <p> <a href="/cgi-bin/koha/opac-reserve.pl?biblionumber=1667279">Place hold on <em>Universal Algebraic Logic</em></a> </p> ]]> </description> <guid>/cgi-bin/koha/opac-detail.pl?biblionumber=1667279</guid> </item> </channel> </rss>
