図書

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]. (Translations of mathematical monographs ; v. 128)

Icons representing 図書

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].

(Translations of mathematical monographs ; v. 128)

Call No. (NDL)
MA41-A88
Bibliographic ID of National Diet Library
000003226716
Material type
図書
Author
Orevkov, V. P.ほか
Publisher
American Mathematical Society
Publication date
c1993.
Material Format
Paper
Capacity, size, etc.
vi, 153 p. ; 27 cm.
NDC
-
View All

Search by Bookstore

Search by Bookstore

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type
図書
ISBN
0821845764 (acid-free)
Title
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].
Series Title
Translations of mathematical monographs ; v. 128
Title Heading
Slozhnost' dokazatel'stv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii͡akh. English.
Author Heading
Orevkov, V. P.
Louvish, David.
Publication, Distribution, etc.
Providence, R.I. : American Mathematical Society
Publication Date
c1993.
Publication Date (W3CDTF)
1993
Extent
vi, 153 p. ; 27 cm.