<?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[SNU Library Search for 'su:&quot;Logic, Symbolic and mathematical&quot;']]> </title> <link> https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Logic%2C%20Symbolic%20and%20mathematical%22&#38;sort_by=&#38;format=rss </link> <atom:link rel="self" type="application/rss+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Logic%2C%20Symbolic%20and%20mathematical%22&#38;sort_by=&#38;format=rss"/> <description> <![CDATA[ Search results for 'su:&quot;Logic, Symbolic and mathematical&quot;' at SNU Library]]> </description> <opensearch:totalResults>14</opensearch:totalResults> <opensearch:startIndex>0</opensearch:startIndex> <opensearch:itemsPerPage>50</opensearch:itemsPerPage> <atom:link rel="search" type="application/opensearchdescription+xml" href="https://library.snu.edu.in/cgi-bin/koha/opac-search.pl?q=ccl=su%3A%22Logic%2C%20Symbolic%20and%20mathematical%22&#38;sort_by=&#38;format=opensearchdescription"/> <opensearch:Query role="request" searchTerms="q%3Dccl%3Dsu%253A%2522Logic%252C%2520Symbolic%2520and%2520mathematical%2522" startPage="" /> <item> <title> Understanding Symbolic Logic </title> <dc:identifier>ISBN:9788131723579</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=1913</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8131723577.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Klenk, virginia.<br /> New Delhi Pearson 2008 .<br /> 479p. 9788131723579 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=1913">Place hold on <em>Understanding Symbolic Logic</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=1913</guid> </item> <item> <title> Discrete Mathematics and its Applications : With Combinatorics and Graph Theory </title> <dc:identifier>ISBN:9780070648241 , 9780070681880</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=2628</link> <description> <![CDATA[ <p> By Rosen, Kenneth H..<br /> :New Delhi :TMH, 2010 .<br /> xviii; Various p. 9780070648241 , 9780070681880 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=2628">Place hold on <em>Discrete Mathematics and its Applications</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=2628</guid> </item> <item> <title> Logic design theory </title> <dc:identifier>ISBN:9788120308152</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10166</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8120308158.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Biswas, Nripendra Nath, .<br /> New Delhi. : PHI, 1993 .<br /> xiii, 306 p. ; 25 cm..<br /> 9788120308152 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=10166">Place hold on <em>Logic design theory</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10166</guid> </item> <item> <title> A course on mathematical logic </title> <dc:identifier>ISBN:9781461457459</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10395</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/1461457459.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Srivastava, Shashi Mohan.<br /> New York, : Springer, 2013 .<br /> xii, 198 p. ; 24 cm..<br /> 9781461457459 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=10395">Place hold on <em>A course on mathematical logic</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=10395</guid> </item> <item> <title> Logic and knowledge : essays, 1901-1950 </title> <dc:identifier>ISBN:9780415090742</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=21781</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0415090741.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Russell, Bertrand, | ; Marsh, Robert C..<br /> London ; New York : Routledge 1992 .<br /> xi, 382 p. ; 23 cm..<br /> 9780415090742 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=21781">Place hold on <em>Logic and knowledge </em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=21781</guid> </item> <item> <title> Reasoning about uncertainty. </title> <dc:identifier>ISBN:9780262582599</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=43182</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0262582597.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By ;Halpern, Joseph Y..<br /> Cambridge, Mass. : MIT Press 2003 .<br /> xiv, 483 pages :26cm..<br /> 9780262582599 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=43182">Place hold on <em>Reasoning about uncertainty.</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=43182</guid> </item> <item> <title> How to Prove It : A Structured Approach </title> <dc:identifier>ISBN:9780521675994</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=44758</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0521675995.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Velleman, Daniel J..<br /> New York : Cambridge University Press, 2006 .<br /> xiii, 384p. 24cm. .<br /> 9780521675994 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=44758">Place hold on <em>How to Prove It </em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=44758</guid> </item> <item> <title> Mathematical foundations of computer science / </title> <dc:identifier>ISBN:9788172865467</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=51398</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/8172865465.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Chandrasekharaiah, D.S.<br /> Bangalore; Prism books Pvt Ltd, 2007 .<br /> 649p. 9788172865467 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=51398">Place hold on <em>Mathematical foundations of computer science /</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=51398</guid> </item> <item> <title> Mathematical Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=55492</link> <description> <![CDATA[ <p> By Ershov, Yu L .<br /> Moscow :MIr Publishers 1984 .<br /> 303p. 24cm. .<br /> </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=55492">Place hold on <em>Mathematical Logic</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=55492</guid> </item> <item> <title> Mathematical Logic </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=55493</link> <description> <![CDATA[ <p> By Ershov, Yu L .<br /> Moscow :MIr Publishers 1984 .<br /> 303p. 24cm. .<br /> </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=55493">Place hold on <em>Mathematical Logic</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=55493</guid> </item> <item> <title> Set Theory and the Continuum Hypothesis </title> <dc:identifier>ISBN:</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=58756</link> <description> <![CDATA[ <p> By Cohen, Paul J.<br /> Mineola, New .York . : Dover Publications, 2008 .<br /> xxv, 154 pages 24cm. .<br /> </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=58756">Place hold on <em>Set Theory and the Continuum Hypothesis</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=58756</guid> </item> <item> <title> Proof and The Art of Mathematics </title> <dc:identifier>ISBN:9780262539791</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=58998</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0262539799.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Hamkins, Joel David.<br /> Cambridge, Massachusetts : The MIT Press, 2020 .<br /> xxvi, 208 pages ; 23 cm.<br /> 9780262539791 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=58998">Place hold on <em>Proof and The Art of Mathematics</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=58998</guid> </item> <item> <title> A Beginner&#39;s Guide to Mathematical Logic </title> <dc:identifier>ISBN:9780486492377</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=59085</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/0486492370.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Smullyan, Raymond M..<br /> New York : Dover Publications, 2014 .<br /> iii, 284p. 24 cm..<br /> 9780486492377 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=59085">Place hold on <em>A Beginner&#39;s Guide to Mathematical Logic</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=59085</guid> </item> <item> <title> Introduction to mathematical logic </title> <dc:identifier>ISBN:9781584888765</dc:identifier> <link>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=65931</link> <description> <![CDATA[ <img src="https://images-na.ssl-images-amazon.com/images/P/1584888768.01.TZZZZZZZ.jpg" alt="" /> ]]> <![CDATA[ <p> By Mendelson, Elliott..<br /> Boca Raton : CRC Press 2010 .<br /> xxiv, 469 p : 24cm..<br /> 9781584888765 </p> ]]> <![CDATA[ <p> <a href="https://library.snu.edu.in/cgi-bin/koha/opac-reserve.pl?biblionumber=65931">Place hold on <em>Introduction to mathematical logic</em></a> </p> ]]> </description> <guid>https://library.snu.edu.in/cgi-bin/koha/opac-detail.pl?biblionumber=65931</guid> </item> </channel> </rss>
