<?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>11</slims:modsResultNum>
  <slims:modsResultPage>1</slims:modsResultPage>
  <slims:modsResultShowed>10</slims:modsResultShowed>
 </slims:resultInfo>
 <mods version="3.3" ID="124526">
  <titleInfo>
   <title>Induksi</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>SAIFUL AMRI</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9786025679711</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">Banda Aceh</placeTerm>
    <publisher>Syiah Kuala University Press</publisher>
    <dateIssued>2018</dateIssued>
   </place>
  </originInfo>
  <slims:image>124526.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="87644">
  <titleInfo>
   <title>Logika dan himpunan</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>SUKIRMAN</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9799892643</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">Yogyakarta</placeTerm>
    <publisher>Hanggar Kreator</publisher>
    <dateIssued>2006</dateIssued>
   </place>
  </originInfo>
  <slims:image>87644.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="88145">
  <titleInfo>
   <title>A Beginner's Guide to Discrete Mathematics</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>SpringerLink (Online service)</namePart>
   <role>
    <roleTerm type="text">Additional Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9780817682866</identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher></publisher>
    <dateIssued></dateIssued>
   </place>
  </originInfo>
  <slims:image>9780817682866.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="56518">
  <titleInfo>
   <title>Set theory and logic</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>STOLL, ROBERT R.</namePart>
   <role>
    <roleTerm type="text">Additional Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">0486638294</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">New York</placeTerm>
    <publisher>DOVER PUBLICATIONS</publisher>
    <dateIssued>1979</dateIssued>
   </place>
  </originInfo>
 </mods>
 <mods version="3.3" ID="85329">
  <titleInfo>
   <title>Pengantar teori bahasa dan automata:</title>
   <subTitle>merancang automaton dengan jflap</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>HARYA BIMA DIRGANTARA</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9786026324153</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">Yogyakarta</placeTerm>
    <publisher>Teknosain</publisher>
    <dateIssued>2017</dateIssued>
   </place>
  </originInfo>
  <slims:image>85329.jpg</slims:image>
 </mods>
 <mods version="3.3" ID="62571">
  <titleInfo>
   <title>Teori dan soal-soal:</title>
   <subTitle>teori himpunan</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>LIPSCHUTZ,SEYMOUR</namePart>
   <role>
    <roleTerm type="text">Additional Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn"></identifier>
  <originInfo>
   <place>
    <placeTerm type="text"></placeTerm>
    <publisher>Erlangga</publisher>
    <dateIssued>1995</dateIssued>
   </place>
  </originInfo>
 </mods>
 <mods version="3.3" ID="78416">
  <titleInfo>
   <title>Logika informatika:</title>
   <subTitle>teori dan soal</subTitle>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>ERY DEWAYANI</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9786022622857</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">Yogyakarta</placeTerm>
    <publisher>Graha Ilmu</publisher>
    <dateIssued>2014</dateIssued>
   </place>
  </originInfo>
 </mods>
 <mods version="3.3" ID="11235">
  <titleInfo>
   <title>Connecting informal and formal mathematics</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>ELBERS, HUGO JOHANNES</namePart>
   <role>
    <roleTerm type="text">Additional Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9038606117</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">Eindhoven</placeTerm>
    <publisher>Technische Universiteit Eindhoven</publisher>
    <dateIssued>1998</dateIssued>
   </place>
  </originInfo>
 </mods>
 <mods version="3.3" ID="61894">
  <titleInfo>
   <title>Technical math for dummies</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>SCHOENBORN, BARRY</namePart>
   <role>
    <roleTerm type="text">Primary Author</roleTerm>
   </role>
  </name>
  <name type="personal" authority="">
   <namePart>SIMKINS, BRADLEY</namePart>
   <role>
    <roleTerm type="text">Additional Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9780470598740</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">Canada</placeTerm>
    <publisher>Wiley Publishing, Inc.</publisher>
    <dateIssued>2010</dateIssued>
   </place>
  </originInfo>
 </mods>
 <mods version="3.3" ID="19336">
  <titleInfo>
   <title>Generation amd presentation of formal mathematical documents</title>
  </titleInfo>
  <name type="personal" authority="">
   <namePart>OOSTDIJK, MARTIJN DIEDERIK</namePart>
   <role>
    <roleTerm type="text">Additional Author</roleTerm>
   </role>
  </name>
  <typeOfResource collection="yes">mixed material</typeOfResource>
  <identifier type="isbn">9038609310</identifier>
  <originInfo>
   <place>
    <placeTerm type="text">Eindhoven</placeTerm>
    <publisher>Technische Universiteit Eindhoven</publisher>
    <dateIssued>2001</dateIssued>
   </place>
  </originInfo>
 </mods>
</modsCollection>
