rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: Complexity of proofs and their transformations in axiomatic theories
  title info:
    title: Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii͡akh. English
  name:
    name part: Orevkov, V. P.
    role:
      role term: creator
  name:
    name part: Louvish, David.
  type of resource: text
  genre: bibliography
  origin info:
    place:
      place term: riu
    date issued: 1993
    issuance: monographic
  language:
    language term: eng
  language:
    language term: rus
  physical description:
    form: print
    extent: vi, 153 pages ; 27 cm.
  note: V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish].
  note: Includes bibliographical references (pages 151-153).
  subject:
    topic: Proof theory
  classification: QA9.54 .O7413 1993
  classification: 511.3
  related item:
    title info:
      title: Translations of mathematical monographs ; v. 128
  identifier: 0821845764 (acid-free)
  identifier: 93011139
  record info:
    record content source: DLC
    record creation date: 930427
    record change date: 20151001070730.0
    record identifier: in00001148661