Matches in Harvard for { <http://id.lib.harvard.edu/aleph/003523049/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog alternative "Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh. English".
- catalog contributor b5106257.
- catalog contributor b5106258.
- catalog created "c1993.".
- catalog date "1993".
- catalog date "c1993.".
- catalog dateCopyrighted "c1993.".
- catalog description "Includes bibliographical references.".
- catalog extent "vi, 153 p. ;".
- catalog identifier "0821845764 (acid-free)".
- catalog isPartOf "Translations of mathematical monographs ; v. 128".
- catalog issued "1993".
- catalog issued "c1993.".
- catalog language "eng rus".
- catalog language "eng".
- catalog publisher "Providence, R.I. : American Mathematical Society,".
- catalog subject "511.3 20".
- catalog subject "Proof theory.".
- catalog subject "QA9.54 .O7413 1993".
- catalog 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].".
- catalog title "Slozhnostʹ dokazatelʹstv i ikh preobrazovaniĭ v aksiomatizirovannykh teorii︠a︡kh. English".
- catalog type "text".