<?xml version="1.0" encoding="UTF-8"?>
<mods xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns="http://www.loc.gov/mods/v3" version="3.1" xsi:schemaLocation="http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-1.xsd">
  <titleInfo>
    <title>Logic functions and equations</title>
    <subTitle>examples and exercises</subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Steinbach, Bernd</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Posthoff, Christian</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <genre authority="marc">bibliography</genre>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">ne</placeTerm>
    </place>
    <place>
      <placeTerm type="text">Dordrecht]</placeTerm>
    </place>
    <publisher>Springer</publisher>
    <dateIssued>c2009</dateIssued>
    <dateIssued encoding="marc">2009</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>xxii, 231 p. : ill. ; 25 cm.</extent>
  </physicalDescription>
  <note type="statement of responsibility">Bernd Steinbach, Christian Posthoff</note>
  <note>Includes bibliographical references (p. 227-228) and index</note>
  <subject authority="lcsh">
    <topic>Logic, Symbolic and mathematical</topic>
    <topic>Problems, exercises, etc</topic>
    <topic>Problems, exercises, etc</topic>
  </subject>
  <identifier type="isbn">9781402095948 (hbk.)</identifier>
  <identifier type="isbn">1402095945 (hbk.)</identifier>
  <identifier type="isbn">1402095953 (ebk.)</identifier>
  <identifier type="isbn">9781402095955 (ebk.)</identifier>
  <recordInfo>
    <recordContentSource authority="marcorg">UMP</recordContentSource>
    <recordCreationDate encoding="marc">100513</recordCreationDate>
    <recordChangeDate encoding="iso8601">20251117150331.0</recordChangeDate>
    <recordIdentifier source="KUKTEM">vtls000045773</recordIdentifier>
  </recordInfo>
</mods>
