<?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">
<mods version="3.3" id="11680">
 <titleInfo>
  <title>An Introduction to Substructural Logics</title>
 </titleInfo>
 <name type="Personal Name" authority="">
  <namePart>Restall, Greg</namePart>
  <role>
   <roleTerm type="text">Additional Author</roleTerm>
  </role>
 </name>
 <typeOfResource manuscript="no" collection="yes">mixed material</typeOfResource>
 <genre authority="marcgt">bibliography</genre>
 <originInfo>
  <place>
   <placeTerm type="text">London &amp; New York</placeTerm>
   <publisher>Routledge</publisher>
   <dateIssued>2000</dateIssued>
  </place>
 </originInfo>
 <language>
  <languageTerm type="code">en</languageTerm>
  <languageTerm type="text">English</languageTerm>
 </language>
 <physicalDescription>
  <form authority="gmd">Text</form>
  <extent>xiii + 400hlm: 15,5x23,5cm</extent>
 </physicalDescription>
 <note>This book introduces an important group of logics that have come to be known under the umbrella term 'substructural'. Substructural logics have independently led to significant developments in philosophy, computing and linguistic. An Introduction to Substructural Logics is the first book to systematically survey the new results and the significant impact that this class of logics has had on a wide range of fields. The following topics are convered: (a) Proof Theory; (b) Propositional Structures; (c) Frames; (d) Decidability. Both students and professor of philosophy, computing, linguistics and mathematics will find this book an important addition to their reading.</note>
 <note type="statement of responsibility"></note>
 <subject authority="">
  <topic>logika</topic>
 </subject>
 <classification>160</classification>
 <identifier type="isbn">041521534X</identifier>
 <location>
  <physicalLocation>PERPUSTAKAAN STFT WIDYA SASANA Jln. Terusan Rajabasa 2 Malang</physicalLocation>
  <shelfLocator>160 Res i</shelfLocator>
  <holdingSimple>
   <copyInformation>
    <numerationAndChronology type="1">12094</numerationAndChronology>
    <sublocation></sublocation>
    <shelfLocator>160 Res i</shelfLocator>
   </copyInformation>
  </holdingSimple>
 </location>
 <slims:image>An_Introduction_to_Substructural_Logics.jpg.jpg</slims:image>
 <recordInfo>
  <recordIdentifier>11680</recordIdentifier>
  <recordCreationDate encoding="w3cdtf">2019-11-07 18:21:44</recordCreationDate>
  <recordChangeDate encoding="w3cdtf">2021-09-13 12:24:06</recordChangeDate>
  <recordOrigin>machine generated</recordOrigin>
 </recordInfo>
</mods>
</modsCollection>