<?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>证明与反驳</title>
    <subTitle>数学发现的逻辑 </subTitle>
  </titleInfo>
  <titleInfo type="alternative">
    <title>證明與反駁</title>
    <subTitle>數學發現的邏輯 </subTitle>
  </titleInfo>
  <name type="personal">
    <namePart>Lakatos, Imre</namePart>
    <role>
      <roleTerm authority="marcrelator" type="text">creator</roleTerm>
    </role>
  </name>
  <name type="personal">
    <namePart>伊姆雷. 拉卡托斯康宏达</namePart>
  </name>
  <typeOfResource>text</typeOfResource>
  <originInfo>
    <place>
      <placeTerm type="code" authority="marccountry">xx</placeTerm>
    </place>
    <place>
      <placeTerm type="text">上海</placeTerm>
    </place>
    <publisher>上海译文出版社</publisher>
    <dateIssued>1987</dateIssued>
    <dateIssued encoding="marc">9999</dateIssued>
    <issuance>monographic</issuance>
  </originInfo>
  <language>
    <languageTerm authority="iso639-2b" type="code">und</languageTerm>
  </language>
  <language>
    <languageTerm authority="iso639-2b" type="code">chi</languageTerm>
  </language>
  <language objectPart="translation">
    <languageTerm authority="iso639-2b" type="code">eng</languageTerm>
  </language>
  <physicalDescription>
    <form authority="marcform">print</form>
    <extent>209 p.  ;  21 cm.</extent>
  </physicalDescription>
  <note type="statement of responsibility">伊姆雷. 拉卡托斯 (Imre Lakatos) 著; 康宏达译</note>
  <subject>
    <topic>Mathematics Philosophy.Logic, Symbolic and mathematical</topic>
  </subject>
  <classification authority="lcc">QA8.4  .L3412 1987</classification>
  <recordInfo>
    <recordCreationDate encoding="marc">230916</recordCreationDate>
  </recordInfo>
</mods>
