

<?xml version="1.0" encoding="UTF-8" ?>
<modsCollection xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" xmlns:slims="http://slims.web.id" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-3.xsd">
 <slims:resultInfo>
  <slims:modsResultNum>15</slims:modsResultNum>
  <slims:modsResultPage>1</slims:modsResultPage>
  <slims:modsResultShowed>10</slims:modsResultShowed>
 </slims:resultInfo>
 <mods version="3.3" ID="33653">
  <titleInfo>
   <title>Logika matematika untuk ilmu komputer /</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Soesianto, F.</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9797635686</identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Yogyakarta: Andi</publisher>
    <dateIssued>2006</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F33653.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="13217">
  <titleInfo>
   <title>Symbolic logic and the game of logic (both books bound as one) /</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Carroll, Lewis</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">0486204928</identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>New York : Dover</publisher>
    <dateIssued>1958</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F13217.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="11738">
  <titleInfo>
   <title>Proof in mathematics ('if', 'then' and 'perhaps), part II :</title>
   <subTitle>a collection of material illustrating the nature and variety the idea of proof in mathematics / P.R. Baxandall ... [et al.]</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart></namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn"></identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Keele : Keele Mathematical Education Publications</publisher>
    <dateIssued>1978</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F11738.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="26114">
  <titleInfo>
   <title>Logika proposisional /</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Soesianto, F.</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9797310515ben</identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Yogyakarta : Andi</publisher>
    <dateIssued>2003</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F26114.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="11904">
  <titleInfo>
   <title>Logika dasar :</title>
   <subTitle>tradisional, simbolik, dan induktif / R.G. Soekadijo</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Soekadijo, R.G.</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn"></identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Jakarta : Gramedia</publisher>
    <dateIssued>1988</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F11904.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="11704">
  <titleInfo>
   <title>Pengantar sederhana matematika baru, Seri 1 :</title>
   <subTitle>logika / oleh Herman Hudojo</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Hudojo, Herman</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn"></identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Malang : Djurusan Ilmu Pasti FKIE-IKIP Malang</publisher>
    <dateIssued>0</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F11704.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="13220">
  <titleInfo>
   <title>Pengantar logika matematika :</title>
   <subTitle>non-aksiomatik / R. Soedjadi</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Soedjadi, R.</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn"></identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Jakarta : P2LPTK</publisher>
    <dateIssued>1988</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F13220.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="26031">
  <titleInfo>
   <title>Logika informatika (dasar-dasar logika untuk pemrograman komputer &amp; perancangan komputer) /</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Suprapto</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9799708834ben</identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Yogyakarta : Gava Media, 2003.</publisher>
    <dateIssued>2003</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F26031.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="14357">
  <titleInfo>
   <title>Cellular automata machines :</title>
   <subTitle>a new environment for modeling / Tommaso Toffoli, Norman Margolus</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Toffoli, Tommaso</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">0262200600</identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>London : The MIT</publisher>
    <dateIssued>1987</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F14357.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="11883">
  <titleInfo>
   <title>Logika metamatika elementer /</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>Kusumah, Yaya S.</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn"></identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Bandung : Tarsito</publisher>
    <dateIssued>1986</dateIssued>
   </place>
  </originInfo>
  <slims:digitals>
   <slims:digital_item id="" url="" path="/" mimetype=""><![CDATA[]]></slims:digital_item>
  </slims:digitals>
  <slims:image>https%3A%2F%2Fsipadu.um.ac.id%2Fadmin%2Fpengolahan_buku%2Fimages%2Fupdbuku%2F11883.jpg</slims:image>
 </mods>
</modsCollection>
