Jump to main content
NDL SEARCH (NATIONAL DIET LIBRARY, JAPAN)
Open Menu
Search
Refiners
Refiners
Library
Close field
National Diet Library
Other Libraries in Japan
Available online
Title
Close field
Author/Editor
Close field
Publisher
Close field
Year
Close field
yr
〜
yr
Open
1960s
(1)
1970s
(3)
1980s
(1)
1990s
(2)
ISBN / ISSN
Close field
Call number
Close field
Material type
Link to Help Page
Close field
Books
（7）
Periodicals
Newspapers
Japanese and Chinese Old Materials
Doctoral Dissertations
Maps
Musical Scores
Web sites
Online Publications
Electronic Resources
Video Materials
Audio Materials
Standards and Technical Reports
Manuscripts and Images
Deselect all
Periodical article etc
Material Format
Link to Help Page
Close field
Digital
Paper
（7）
Microform
Recording Media
Deselect all
Refiners
Refiners
Search results 7
20 results per page
50 results per page
100 results per page
List
Thumbnails
Table
Relevance
Published (old first)
Published (new first)
Title (ascend)
Title (descend)
Author (ascend)
Author (descend)
Call number
Group by title
Add all to My List
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)
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)
Paper
図書
American Mathematical Society
c1993.
<MA41-A88>
National Diet Library
Author Heading
Orevkov, V. P.
Louvish, David.
Complexity of proofs and their transformations in axiomatic theories
Complexity of proofs and their transformations in axiomatic theories
Paper
図書
V.P. Orevkov ; [translated by Alexander Bochman from an original Russian manuscript ; translation edited by David Louvish]
American Mathematical Society
c1993
Other Libraries in Japan
Теория доказательств и конструктивная математика
Теория доказательств и конструктивная математика
Paper
図書
перевод c английского, Г.В. Давыдова, Г.Е. Минца ; под редакцией, В.П. Оревкова
"Наука", Главная ред. физико-математической лит-рат
1983
Other Libraries in Japan
Author Heading
Davydov, G. V. Mint︠s︡, G. E.
Orevkov, V. P.
Logical and logico-mathematical calculi. 2
Logical and logico-mathematical calculi. 2
Paper
図書
Edited by V. P. Orevkov
American Mathematical Society
1974
Other Libraries in Japan
The Calculi of symbolic logic, 1
The Calculi of symbolic logic, 1
Paper
図書
edited by V.P. Orevkov ; [translated from the Russian by A. Yablonsky]
American Mathematical Society
1971
Other Libraries in Japan
Логические и логико-математические исчисления : сборник работ
Логические и логико-математические исчисления : сборник работ
Paper
図書
под редакцей В.П. Оревкова
Изд-во "Наука"
1968-
Other Libraries in Japan
Problems in the constructive trend in mathematics
Problems in the constructive trend in mathematics
Paper
図書
edited by V.P. Orevkov and M. [i.e. N.] A. Šanin
American Mathematical Society
1970-
Other Libraries in Japan
Reached to the end of result.
Bulk download of bibliographic information
RSS