<?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[NUST Institutions Library Catalogue Search for 'an:36546']]></title>
     <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?q=ccl=an%3A36546&amp;format=rss</link>
     <atom:link rel="self" type="application/rss+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?q=ccl=an%3A36546&amp;sort_by=relevance_dsc&amp;format=atom"/>
     <description><![CDATA[ Search results for 'an:36546' at NUST Institutions Library Catalogue]]></description>
     <opensearch:totalResults>12</opensearch:totalResults>
     <opensearch:startIndex>0</opensearch:startIndex>
     
       <opensearch:itemsPerPage>50</opensearch:itemsPerPage>
     
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Introduction to Mathematical Logic /






</title>
       <dc:identifier>ISBN:0534066240 :</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175278</link>
        
       <description><![CDATA[









	   <p>By Mendelson, Elliott.. 
	   Monterey, Calif. : Wadsworth &amp; Brooks/Cole Advanced Books &amp; Software, 1987
                        . ix, 341 p. ;
                        
                         24 cm.. 
                         0534066240 :
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=175278">Place Hold on <em>Introduction to Mathematical Logic /</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175278</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Classical and Fuzzy Concepts in Mathematical Logic and Applications /






</title>
       <dc:identifier>ISBN:0849331978 (alk. paper)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175282</link>
        
       <description><![CDATA[









	   <p>By Reghi?Mircea.. 
	   Boca Raton : CRC Press, 1998
                        . 364 p. :
                        
                         24 cm.. 
                         0849331978 (alk. paper)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=175282">Place Hold on <em>Classical and Fuzzy Concepts in Mathematical Logic and Applications /</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175282</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Discrete mathematics and its applications /






</title>
       <dc:identifier>ISBN:0071139745 (hdbk. : acid-free paper) | 0073229725 | 9780072880083 | 9780073229720</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175977</link>
        
       <description><![CDATA[









	   <p>By Rosen, Kenneth H.. 
	   Boston : McGraw-Hill Higher Education, 2007
                        . xxii, 843, A-15, B-7, S-90, C-1, I-18 p. :
                        
                         27 cm.. 
                         0071139745 (hdbk. : acid-free paper) | 0073229725 | 9780072880083 | 9780073229720
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=175977">Place Hold on <em>Discrete mathematics and its applications /</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175977</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Discrete mathematics and its applications / 






</title>
       <dc:identifier>ISBN:0070539669  (. : acid-free paper) | 0073229725 | 9780072880083 | 9780073229720</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175978</link>
        
       <description><![CDATA[









	   <p>By Rosen, Kenneth H.. 
	   Boston : McGraw-Hill Higher Education, 2007
                        . xxii, 843, A-15, B-7, S-90, C-1, I-18 p. :
                        
                         27 cm.. 
                         0070539669  (. : acid-free paper) | 0073229725 | 9780072880083 | 9780073229720
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=175978">Place Hold on <em>Discrete mathematics and its applications / </em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=175978</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    100% mathematical proof / 






</title>
       <dc:identifier>ISBN:0471961981 (acid-free paper) | 047196199X (pbk. : acid-free paper)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=179851</link>
        
       <description><![CDATA[









	   <p>By Garnier, Rowan.. 
	   Chichester ; | New York : Wiley, 1996
                        . viii, 317 p. :
                        
                         25 cm.. 
                         0471961981 (acid-free paper) | 047196199X (pbk. : acid-free paper)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=179851">Place Hold on <em>100% mathematical proof / </em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=179851</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Learning to Rreason :


    an Introduction to Logic, Sets and Relations /





</title>
       <dc:identifier>ISBN:047137122X (hardcover : alk. paper)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=188514</link>
        
       <description><![CDATA[









	   <p>By Rodgers, Nancy,. 
	   New York : Wiley, 2000
                        . xv, 437 p. :
                        
                         25 cm.. 
                         047137122X (hardcover : alk. paper)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=188514">Place Hold on <em>Learning to Rreason :</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=188514</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Computers from logic to architecture 






</title>
       <dc:identifier>ISBN:0278000932</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=541581</link>
        
       <description><![CDATA[









	   <p>By Dowsing, Roy.. 
	   London ; VNR international, 1990
                        . xiv, 290 p. :
                        , Includes index.
                         24 cm.. 
                         0278000932
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=541581">Place Hold on <em>Computers from logic to architecture </em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=541581</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Logic and knowledge :


    essays, 1901-1950 /





</title>
       <dc:identifier>ISBN:0041640012</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=542080</link>
        
       <description><![CDATA[









	   <p>By Russell, Bertrand,. 
	   London : | New York : Routledge ; | Macmillan, 1985
                        . xi, 382 p. ;
                        
                         23 cm.. 
                         0041640012
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=542080">Place Hold on <em>Logic and knowledge :</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=542080</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Solvable cases of the decision problem.






</title>
       <dc:identifier>ISBN:</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=544009</link>
        
       <description><![CDATA[









	   <p>By Ackermann, W.. 
	   Amsterdam, North-Holland Pub. Co., 1954
                        . 114 p.
                        
                        
                        
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=544009">Place Hold on <em>Solvable cases of the decision problem.</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=544009</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    The logic design of transistor digital computers






</title>
       <dc:identifier>ISBN:</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=545693</link>
        
       <description><![CDATA[









	   <p>By Maley, Gerald A.. 
	   Englewood Cliffs, N.J., Prentice-Hall, 1963
                        . X, 322 p.
                        
                         24 cm.. 
                        
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=545693">Place Hold on <em>The logic design of transistor digital computers</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=545693</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Basic Discrete Mathematics :


    Logic, Set Theory, &amp; Probability /





</title>
       <dc:identifier>ISBN:9789814730396 (hardback : alk. paper) | 9789813147546 (paperback: alk. paper)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=590693</link>
        
       <description><![CDATA[









	   <p>By Kohar, Richard.. 
	   
                        . xxvi, 706 pages :
                        
                         24 cm. 
                         9789814730396 (hardback : alk. paper) | 9789813147546 (paperback: alk. paper)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=590693">Place Hold on <em>Basic Discrete Mathematics :</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=590693</guid>
     </item>
	 
     <atom:link rel="search" type="application/opensearchdescription+xml" href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-search.pl?&amp;sort_by=&amp;format=opensearchdescription"/>
     <opensearch:Query role="request" searchTerms="" startPage="" />
     <item>
       <title>
    Discrete structures, logic, and computability /






</title>
       <dc:identifier>ISBN:9780763772062 (hardcover) | 0763772062 (hardcover)</dc:identifier>
        
        <link>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=590852</link>
        
       <description><![CDATA[









	   <p>By Hein, James L.. 
	   Sudbury, Mass. : Jones and Bartlett Publishers, 2010
                        . xiv, 1009 p. :
                        
                         25 cm.. 
                         9780763772062 (hardcover) | 0763772062 (hardcover)
       </p>

<p><a href="http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-reserve.pl?biblionumber=590852">Place Hold on <em>Discrete structures, logic, and computability /</em></a></p>

						]]></description>
       <guid>http://catalogue.nust.edu.pk:8081/cgi-bin/koha/opac-detail.pl?biblionumber=590852</guid>
     </item>
	 
   </channel>
</rss>





