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]
Resource Information
The item 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] represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.This item is available to borrow from 1 library branch.
Resource Information
The item 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] represents a specific, individual, material embodiment of a distinct intellectual or artistic creation found in University of Missouri Libraries.
This item is available to borrow from 1 library branch.
 Language

 eng
 rus
 eng
 Extent
 vi, 153 pages
 Isbn
 9780821845769
 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]
 Language

 eng
 rus
 eng
 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]
 Bibliography note
 Includes bibliographical references (pages 151153)
 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]
 Bibliography note
 Includes bibliographical references (pages 151153)
 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 Links
Embed
Settings
Select options that apply then copy and paste the RDF/HTML data fragment to include in your application
Embed this data in a secure (HTTPS) page:
Layout options:
Include data citation:
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Complexityofproofsandtheirtransformationsin/z4wEMrg3IJ0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Complexityofproofsandtheirtransformationsin/z4wEMrg3IJ0/">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]</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>
Note: Adjust the width and height settings defined in the RDF/HTML code fragment to best match your requirements
Preview
Cite Data  Experimental
Data Citation of the Item 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]
Copy and paste the following RDF/HTML data fragment to cite this resource
<div class="citation" vocab="http://schema.org/"><i class="fa faexternallinksquare fafw"></i> Data from <span resource="http://link.library.missouri.edu/portal/Complexityofproofsandtheirtransformationsin/z4wEMrg3IJ0/" typeof="Book http://bibfra.me/vocab/lite/Item"><span property="name http://bibfra.me/vocab/lite/label"><a href="http://link.library.missouri.edu/portal/Complexityofproofsandtheirtransformationsin/z4wEMrg3IJ0/">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]</a></span>  <span property="potentialAction" typeOf="OrganizeAction"><span property="agent" typeof="LibrarySystem http://library.link/vocab/LibrarySystem" resource="http://link.library.missouri.edu/"><span property="name http://bibfra.me/vocab/lite/label"><a property="url" href="http://link.library.missouri.edu/">University of Missouri Libraries</a></span></span></span></span></div>