Complexity of proofs and their transformations in axiomatic theories (Record no. 32409)

000 -LEADER
fixed length control field 00644nmm a2200169Ia 4500
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION
fixed length control field 230428s9999||||xx |||||||||||||||||und||
020 ## - INTERNATIONAL STANDARD BOOK NUMBER
International Standard Book Number 9781470445362 (online)
100 ## - MAIN ENTRY--PERSONAL NAME
Personal name Orevkov, V. P.
245 #0 - TITLE STATEMENT
Title Complexity of proofs and their transformations in axiomatic theories
260 ## - PUBLICATION, DISTRIBUTION, ETC.
Place of publication, distribution, etc. Providence, R.I. :
Name of publisher, distributor, etc. American Mathematical Society,
Date of publication, distribution, etc. c1993.
300 ## - PHYSICAL DESCRIPTION
Extent 1 online resource (vi, 153 p.)
490 ## - SERIES STATEMENT
Series statement Translations of Mathematical Monographs,
Volume/sequential designation v. 128
International Standard Serial Number 2472-5137 ;
504 ## - BIBLIOGRAPHY, ETC. NOTE
Bibliography, etc. note Includes bibliographical references (p. 151-153).
650 ## - SUBJECT ADDED ENTRY--TOPICAL TERM
Topical term or geographic name entry element Proof theory.
700 ## - ADDED ENTRY--PERSONAL NAME
Personal name Louvish, David.
856 ## - ELECTRONIC LOCATION AND ACCESS
Uniform Resource Identifier <a href="https://doi.org/10.1090/mmono/128">https://doi.org/10.1090/mmono/128</a>
Holdings
Withdrawn status Lost status Damaged status Not for loan Home library Current library Date acquired Barcode Date last seen Uniform Resource Identifier Price effective from Koha item type
      Accessible Online ICTS ICTS 04/28/2023 EBK23382 04/28/2023 https://doi.org/10.1090/mmono/128 04/28/2023 electronic book