<?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>Introducción a la lógica matemática</title>
  </titleInfo>
  <name type="personal">
    <namePart>Suppes, Patrick.</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>Hill, Shirley.</namePart>
  </name>
  <name type="personal">
    <namePart>Linés Escardó, Enrique</namePart>
    <namePart type="termsOfAddress">Traductor</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="text">Bogotá</placeTerm>
    </place>
    <publisher>Editorial Reverté</publisher>
    <dateIssued>1992</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>283 p.</extent>
  </physicalDescription>
  <tableOfContents>Simbolización de proposiciones.--Inferencia lógica.--Tablas de certeza.--Terminos, predicados y cuantificadores universales.--Un sistema matemático simple axiomas de la adición.--Lógica matemática</tableOfContents>
  <note type="statement of responsibility">Patrick Suppes ; Shirley Hill ; versión española por Enrique Linés Escardó.</note>
  <note>Incluye índice.</note>
  <note>Título original. : First course in mathematical logic.</note>
  <subject>
    <topic>Matemáticas</topic>
    <topic>Problemas, ejercicios, etc</topic>
  </subject>
  <subject>
    <topic>Lógica simbólica y matemática</topic>
  </subject>
  <classification authority="ddc">511.3 S87p</classification>
  <identifier type="isbn">8429151508</identifier>
  <location>
    <physicalLocation displayLabel="S87p">MHC MHC</physicalLocation>
  </location>
  <recordInfo>
    <recordContentSource authority="marcorg">CO-CtgCURN</recordContentSource>
    <recordCreationDate encoding="marc">160627</recordCreationDate>
    <recordChangeDate encoding="iso8601">20260701202909.0</recordChangeDate>
    <recordIdentifier source="CO-CtgCURN">0000014814</recordIdentifier>
    <languageOfCataloging>
      <languageTerm authority="iso639-2b" type="code">spa</languageTerm>
    </languageOfCataloging>
  </recordInfo>
</mods>
