<?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>Lógica simbólica</title>
    <subTitle>/ Irving M. Copi ;  Traducción Andrés Sestier Boulier</subTitle>
  </titleInfo>
  <titleInfo type="uniform">
    <title>Symbolic Logic español</title>
  </titleInfo>
  <name type="personal">
    <namePart>Copi, Irving M.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
    <role>
      <roleTerm type="text">autor</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Sestier Boulier, Andrés</namePart>
    <role>
      <roleTerm type="text">traductor</roleTerm>
    </role>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">mx</placeTerm>
    </place>
    <place>
      <placeTerm type="text">México</placeTerm>
    </place>
    <publisher>: Patria</publisher>
    <dateIssued>, 2009</dateIssued>
    <dateIssued encoding="marc">2009</dateIssued>
    <edition>2a edición</edition>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">spa</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>407 páginas ; 23 cm.</extent>
  </physicalDescription>
  <tableOfContents>Lógica y lenguaje. Argumentos que contienen enunciados compuestos. El método de la deducción. Funciones proposicionales y cuantificadores. La lógica de las relaciones. Sistemas deductivo. Un cálculo proposicional. Sistemas y notaciones alternativos. Un cálculo funcional de primer orden. </tableOfContents>
  <note>Vigésima sexta reimpresión.</note>
  <note>Indice alfabético. </note>
  <subject authority="lcsh">
    <topic>LÓGICA, SIMBOLICA Y MATEMÁTICA</topic>
  </subject>
  <subject authority="lcsh">
    <topic>INTELIGENCIA ARTIFICIAL</topic>
  </subject>
  <classification authority="lcc">BC135 C6718 2009</classification>
  <identifier type="isbn">9789682601347</identifier>
  <recordInfo>
    <recordCreationDate encoding="marc">120721</recordCreationDate>
  </recordInfo>
</mods>
