Coverart for item
The Resource Complexity of proofs and their transformations in axiomatic theories, V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]

Complexity of proofs and their transformations in axiomatic theories, V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]

Label
Complexity of proofs and their transformations in axiomatic theories
Title
Complexity of proofs and their transformations in axiomatic theories
Statement of responsibility
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
Creator
Contributor
Author
Subject
Language
  • eng
  • rus
  • eng
Member of
Cataloging source
DLC
http://library.link/vocab/creatorName
Orevkov, V. P
Dewey number
511.3
Index
no index present
LC call number
QA9.54
LC item number
.O7413 1993
Literary form
non fiction
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
Louvish, David
Series statement
Translations of mathematical monographs
Series volume
v. 128
http://library.link/vocab/subjectName
  • Proof theory
  • Proof theory
  • Bewijstheorie
  • Axiomatische methode
  • Recursie
  • Complexiteit
  • Preuve, théorie de la
Label
Complexity of proofs and their transformations in axiomatic theories, V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
Instantiates
Publication
Bibliography note
Includes bibliographical references (pages 151-153)
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
28147838
Dimensions
27 cm.
Extent
vi, 153 pages
Isbn
9780821845769
Lccn
93011139
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(OCoLC)28147838
Label
Complexity of proofs and their transformations in axiomatic theories, V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
Publication
Bibliography note
Includes bibliographical references (pages 151-153)
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Control code
28147838
Dimensions
27 cm.
Extent
vi, 153 pages
Isbn
9780821845769
Lccn
93011139
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
System control number
(OCoLC)28147838

Library Locations

    • Mathematical Sciences LibraryBorrow it
      104 Ellis Library, Columbia, MO, 65201, US
      38.944377 -92.326537
Processing Feedback ...